Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
Stars
1
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
10
commits
some cosmetics
2d3f9c8
indexed datatypes should be working
6e58352
formatting in notes
8fb8fb9
parameterized inductive datatypes should be working
377f089
add comments about parameterized inductive datatypes
869eb8f
add support for functional subterms
5a46620
nats work
b467b87
delete weird stuff
dada5b2
initial stuff
07efeaf
add notes
efd8e54