Hacker News new | ask | show | jobs
by remolueoend 1418 days ago
The isabelle AFP project (https://www.isa-afp.org) might be interesting to you.