4 ms·
Just skip pen and paper proofs and go play around with Agda or Lean or something. You'll learn something much more rigorous and concrete.
by Ericson2314 4y ago
Just skip pen and paper proofs and go play around with Agda or Lean or something.
You'll learn something much more rigorous and concrete.
- Koshkin 4y agoBad advice. “If you want to learn what calculation is like, use the damned calculator!” Right.