Hacker News new | ask | show | jobs
by wheelinsupial 450 days ago
Which proof assistant did you use?