4 ms·
I guess it could be very uncomfortable to use a theorem prover that is not open-source, especially if your work is at stake. Closed-sourceness abruptly cuts the
by gosub 15y ago
I guess it could be very uncomfortable to use a theorem prover that is not open-source, especially if your work is at stake. Closed-sourceness abruptly cuts the chain of trust at Microsoft.
- ot 15y agoYou don't have to trust a theorem prover, it gives you either a proof or a counter-example. You can use another tool to verify them.