search

barry-jay-personal / tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus
MIT License
51 stars 4 forks source link

pdfs #3

Closed stackdump closed 3 years ago

stackdump commented 3 years ago

Hello, congrats on the book some very interesting material to dig intol

Just wanted to let you know 2 PDF drafts are available in this public repo - unsure if that is by design.

--cheers Matt