tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
51 stars
3 watching
4 forks
Language: Coq
last commit: over 3 years ago tree-calculus Proofs in Coq for the book Reflective Programs in Tree Calculus