HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by thecleaner | Hacker News Reader
Full thread
thecleaner
·
Does Lean work with linear slgebra proofs ?
View on HN
gowld
·
You need to ask a more specific question.
https://leanprover-community.github.io/theories/linear_algeb...
Reply on news.ycombinator.com