Hacker News new | ask | show | jobs
by mjoin 2068 days ago
https://coq.inria.fr/ would be a good choice for proof assistance, I believe