Resources to teach Linear Algebra using Lean4 and Sagemath
-
Updated
Jul 30, 2023
Resources to teach Linear Algebra using Lean4 and Sagemath
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
Add a description, image, and links to the type-theoretic-mathematics topic page so that developers can more easily learn about it.
To associate your repository with the type-theoretic-mathematics topic, visit your repo's landing page and select "manage topics."