← Back to context Comment by haskellandchill 6 years ago I want interactive proofs to learn linear algebra. I'm trying to build something, it's daunting. 2 comments haskellandchill Reply mhh__ 6 years ago Interactive proofs? 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.
mhh__ 6 years ago Interactive proofs? 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.
Interactive proofs?
Yes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.