← Back to context Comment by mhh__ 7 years ago Interactive proofs? 1 comment mhh__ Reply 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.
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.
Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.