Explanation: Induction, pattern matching, fixed points#86
Open
patrick-nicodemus wants to merge 1 commit intorocq-prover:mainfrom
Open
Explanation: Induction, pattern matching, fixed points#86patrick-nicodemus wants to merge 1 commit intorocq-prover:mainfrom
patrick-nicodemus wants to merge 1 commit intorocq-prover:mainfrom
Commits
Commits on Apr 3, 2025
- committed
Patrick Nicodemus