Trying to recompute the inductive structure of the main (co)-inductive types when checking the guard condition#17950
Closed
herbelin wants to merge 12 commits intorocq-prover:masterfrom
Closed
Commits
Commits on Dec 23, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
