Hacker News new | ask | show | jobs
Isabelle2016 released – Generic proof assistant (isabelle.in.tum.de)
1 points by sternenseemann 3747 days ago