Hacker News new | ask | show | jobs
by cjfd 263 days ago
I have a personal coq/rocq project regarding the verification of software so for that purpose it is highly useful. I also wrote a proof assistent myself (https://github.com/chrisd1977/system).