-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: leanprover-community/iris-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: coercion from Lean.Name to Namespace
#483
opened Jun 23, 2026 by
ayhon
Contributor
Loading…
2 tasks done
feat: port
bi/monpred.v (MonPred BI)
#481
opened Jun 19, 2026 by
lihaokun
Contributor
Loading…
2 tasks done
feat: Experimental integration between HeapLang and Std.do
experiment
Ideas for features that may or may not work
#478
opened Jun 18, 2026 by
markusdemedeiros
Collaborator
•
Draft
2 tasks
feat: HeapLang completeness
#477
opened Jun 18, 2026 by
markusdemedeiros
Collaborator
•
Draft
2 tasks
feat: Completeness for generic logics
#476
opened Jun 18, 2026 by
markusdemedeiros
Collaborator
•
Draft
2 tasks
feat: Abstract weakest precondition
#475
opened Jun 18, 2026 by
markusdemedeiros
Collaborator
•
Draft
2 tasks
feat: Primitive Laws for completeness
#474
opened Jun 18, 2026 by
markusdemedeiros
Collaborator
•
Draft
2 tasks
feat:
aesop_contractive tactic to solve Contractive/NonExpansive goals
#422
opened May 28, 2026 by
arthur-adjedj
•
Draft
feat: add depends on rocq concept status
#329
opened Apr 21, 2026 by
ayhon
Contributor
Loading…
3 tasks
feat: Alternative definition for CMRA
#11
opened Feb 13, 2025 by
markusdemedeiros
Collaborator
•
Draft
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.