← All repos

barry-jay-personal/tree-calculus

View on GitHub ↗ ★ 206 Coq

Proofs in Coq for the book Reflective Programs in Tree Calculus

14 mentions on Hacker News by 10 people: 1 story, 13 comments · first 2024-12-10 · latest 2026-10-17