Hacker News new | past | comments | ask | show | jobs | submit
baq | on: Ten advances in mathematics and theoretical computer science
It’s more than you get from free software - you get no proofs, no warranties and any responsibility of its authors are their pure good will. Reminder lean proofs are software!