← All repos

plby/lean-proofs

View on GitHub ↗ ★ 47 Lean

Some Lean proofs

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2026-01-10 · latest 2026-01-10