Hacker News new | ask | show | jobs
by Epa095 235 days ago
https://en.wikipedia.org/wiki/Rocq

`The Rocq Prover (formerly named Coq) [...] `