Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
I
Iris
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Rice Wine
Iris
Branches
Overview
Active
Stale
All
Updated date
Name
Oldest updated
Updated date
ci/robbert/set_unfold
6d17dc6d
·
CI.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/robbert/tc_opaque
bb0f3924
·
`equiv` is no longer type class opaque.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
master
default
protected
3f7f9f4e
·
Update example in ProofMode.md
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
robbert/own_ghost
12a6f8fb
·
Use notation for `own`.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/janno/let_bind_envs
c8a06279
·
Don't `Declare Scope`.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/janno/reduction_no_check
a2b8fe0b
·
Avoid conversion after only reducing goal.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
mtac2-tt
7ef2e547
·
Add one more missing type annotation for 8.7.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/ralf/set_unfold_elements
5ea75b53
·
experiment with removing an instance
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/joe/compact_ipm
c4de1014
·
Update tac_forall_specialize to not embed the context twice.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/big_sepM2
d88db874
·
big_sepM2.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/robbert/kill_locked_value_lambdas
b00f573b
·
Get rid of locked value lambdas.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/const-rf
0e53b389
·
keep more instances local
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/debug
e0d1a32f
·
test CI
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/no-generalize
f5bceb45
·
play with avoid auto-generalization
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/saved-anything
143eb81a
·
explain to be careful around savedAnythingG
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/disable-ltac-backtrace
b51b7a70
·
Set the Ltac backtrace option in tests.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris-3.1
6eeb2c95
·
reflect in README that this is the 3.1 branch
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris-3.0
e42a8649
·
update README to reflect the branch's state
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/maximedenes/instance-nobody-open-proof
2e426d3f
·
Make trivial instances explicit
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/ufrac
1d67a47f
·
The unbounded fractional authoritative camera.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
4
Next