Hacker News new | ask | show | jobs
Functional Programming and Theorem Proving in Lean 4 (web.stanford.edu)
6 points by rck 379 days ago