Rare find

tree-calculus. Proofs in Coq for the book Reflective Programs in Tree Calculus

github.com/barry-jay-personal/tree-calculus

@barry-jay-personal

Problem

Audience

Updates

No founder updates yet. Check back soon.