2 ms·
Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.
by haskellandchill 8y ago
Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.