4 ms·
Theorem provers are used all the time to prove new things in computer science. A few examples: CompCert, SeL4 etc.
by deterministic 4y ago
Theorem provers are used all the time to prove new things in computer science. A few examples: CompCert, SeL4 etc.