gebner / trepplein
Lean type-checker written in Scala.
☆31Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for trepplein
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- HoTT in Lean 3☆75Updated 4 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover