4 ms·
Does Lean work with linear slgebra proofs ?
by thecleaner 2y ago
Does Lean work with linear slgebra proofs ?
- gowld 2y agoYou need to ask a more specific question. https://leanprover-community.github.io/theories/linear_algebra.html https://leanprover-community.github.io/theories/linear_algeb...