Hacker News new | ask | show | jobs
by yboris 733 days ago
lean4 - programming language and theorem prover

https://lean-lang.org/

https://github.com/leanprover/lean4