Skip to content

Add Exclusive CMRA - #48

Merged
digama0 merged 4 commits into
leanprover-community:masterfrom
oliversoeser:master
Jul 3, 2025
Merged

Add Exclusive CMRA#48
digama0 merged 4 commits into
leanprover-community:masterfrom
oliversoeser:master

Conversation

@oliversoeser

Copy link
Copy Markdown
Contributor

Defines the exclusive CMRA and its functors.

@oliversoeser
oliversoeser marked this pull request as draft June 13, 2025 07:36
@oliversoeser
oliversoeser marked this pull request as ready for review June 13, 2025 13:06
@oliversoeser oliversoeser mentioned this pull request Jun 14, 2025
@digama0
digama0 merged commit dd857b7 into leanprover-community:master Jul 3, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants