Hacker News new | ask | show | jobs
by tsterin 31 days ago
use https://rocq-prover.org/ for that purpose