Hacker News new | ask | show | jobs
by tsnl 890 days ago
Theorem provers that use dependent typing, like Coq.