barry-jay-personal/typing-rules-as-programs
In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq
GitHub repository with 18 stars and 4 forks.
Language: Rocq Prover
24h trend summary
Trending score 0.12, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 18 stars and 4 forks.