← All repos

ammkrn/nanoda_lib

View on GitHub ↗ ★ 227 Rust

Library implementing type inference/checking functionality based on the Lean theorem prover

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-11-22 · latest 2026-08-16