← Back to context Comment by mhh__ 6 years ago Interactive proofs? 1 comment mhh__ Reply haskellandchill 6 years ago Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.
haskellandchill 6 years ago Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.
Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.