Hacker News new | ask | show | jobs
by ngruhn 403 days ago
100% agree. I did not understand induction until I learned Coq. It really shows how mechanical proving can be.