logoalt Hacker News

athrowaway3z • today at 3:22 PM • 0 replies • view on HN

https://lean-lang.org/doc/reference/latest/ValidatingProofs/...