Hacker News new | ask | show | jobs
by somethingsome 2197 days ago
You should take a look into Lean Theorem Prover (among others) ;)