Frac cmra - #55

Closed

Shreyas4991 wants to merge 5 commits into

leanprover-community:masterfrom

Shreyas4991:Frac_CMRA

Commits on Mar 17, 2025

Commits on May 15, 2025

Merge upstream
Shreyas4991
committed

Commits on Jun 22, 2025

Merge branch 'master' of github.com:leanprover-community/iris-lean into Frac_CMRA
Shreyas4991
committed
Initial commit. Useful to have the contents of the Rocq file. To be removed later
Shreyas4991
committed