-
Notifications
You must be signed in to change notification settings - Fork 31
Pull requests: leanprover-community/iris-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Internal Eq
blocked
The issue is blocked by a different issue.
#177
opened Mar 17, 2026 by
markusdemedeiros
Loading…
3 tasks
feat: own lemmas
blocked
The issue is blocked by a different issue.
#174
opened Mar 16, 2026 by
markusdemedeiros
•
Draft
3 tasks
feat: Token
blocked
The issue is blocked by a different issue.
#170
opened Mar 16, 2026 by
markusdemedeiros
Loading…
3 tasks
feat: Port the list part of
bi/big_op.v
wanted: cleanup
#168
opened Mar 16, 2026 by
lzy0505
Loading…
3 tasks done
ProTip!
Filter pull requests by the default branch with base:master.