Hacker News new | ask | show | jobs
Get Started with Lean Proof Assistant (lean-lang.org)
2 points by digital55 22 days ago