Hacker News new | ask | show | jobs
by jetti 3445 days ago
Gallina (The programming language used in Coq) -> Theorem proving assistance