Back to search
Playing around with how to reason about functions defined with `Program Fixpoint` and `Equations` in Coq
Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
12
commits