5 ms·
Does anyone notice an uptick in the number of posts about interactive theorem provers? Or is it just something I’ve been paying more attention to recently.
by amw-zero 5y ago
Does anyone notice an uptick in the number of posts about interactive theorem provers? Or is it just something I’ve been paying more attention to recently.
- deterministic 5y agoInteractive Theorem Provers are getting productive enough to be useful for real projects. The CompCert project was a real eye opener/motivator for people who want to develop proven correct software.
- trenchgun 5y agoThere is an uptick. Probably because of constructive math, category theory and theorem provers have got more publicity lately.