search

stefnotch / quantum-sheet

QuantumSheet - A user friendly mathematics worksheet and solver
https://stefnotch.github.io/quantum-sheet/
GNU General Public License v3.0
55 stars 5 forks source link

Investigate LEAN #15

Closed stefnotch closed 3 years ago

stefnotch commented 3 years ago

https://leanprover.github.io/introduction_to_lean/

stefnotch commented 3 years ago

It's a proof assistant and not really a computer algebra system. Pretty damn cool though