3 ms·
Have you found this stuff useful during the many years since you learned it? Or you don't mean you mastered it enough to judge its usefulness?
by avodonosov 1y ago
Have you found this stuff useful during the many years since you learned it? Or you don't mean you mastered it enough to judge its usefulness?
- cjfd 1y agoI 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 https://github.com/chrisd1977/system).