Hacker News new | ask | show | jobs
by athrowaway3z 22 days ago
https://lean-lang.org/doc/reference/latest/ValidatingProofs/...