Comment by haskellandchill

7 years ago

Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.

0 comments