← All repos

leanprover-community/lean

View on GitHub ↗ ★ 435 C++ archived

Lean 3 Theorem Prover (community fork)

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-04-06 · latest 2023-11-02