/tree-calculus-1

Proofs in Coq for the book Reflective Programs in Tree Calculus

Primary LanguageCoqMIT LicenseMIT

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.