← All repos

barry-jay-personal/typed_tree_calculus

View on GitHub ↗ ★ 30 Rocq Prover

types for various combinatory systems, especialy tree calculi

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