Proofs in Coq for the book Reflective Programs in Tree Calculus
MIT License
51
stars
4
forks
source link
readme
Tree_Calculus_Proofs
Proofs in Coq for the book Reflective Programs in Tree Calculus
See Reflective_Programs.txt for more information.
Contact me at barry.jay8@gmail.com about the book itself.