Unifying the syntax of Definition, Theorem, Fixpoint and CoFixpoint (CEP #42) - #19301
Closed
herbelin wants to merge 9 commits into
Closed
Unifying the syntax of Definition, Theorem, Fixpoint and CoFixpoint (CEP #42)#19301herbelin wants to merge 9 commits into
herbelin wants to merge 9 commits into
Commits
Commits on Oct 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
