Back to search
Top Contributors
10
commits
Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
Stars
1
Forks
0
Watchers
1
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
10
commits