5 ms·
I want interactive proofs to learn linear algebra. I'm trying to build something, it's daunting.
by haskellandchill 8y ago
I want interactive proofs to learn linear algebra. I'm trying to build something, it's daunting.
- mhh__ 8y agoInteractive proofs?
- haskellandchill 8y agoYes. Unfortunately that term is taken by some cryptography thing. A proof assistant or interactive theorem prover to be more precise.