sandialabs/Prove-It
A tool for proving and organizing general theorems using Python.
Jupyter NotebookNOASSERTION
Stargazers
- BatmanabcdefgMars
- briankirby
- dani-who-likes-engineering
- eugescuOak Ridge National Laboratory
- EulerianialAmsterdam, The Netherlands
- Eulerwow
- federerfanaticThe Relentless Tide
- funfwo
- Gary-oak-Star
- Ham-Mazz
- hdepingUSTC
- jbyukiSwitzerland
- marcofavorito@bancaditalia
- marktane
- martinResearchMicrosoft
- MGlauerOtto-von-Guericke-University Magdeburg
- mgm79
- mtruong1999
- philzook58Draper
- raineydavid@womencancode @womenintech
- rmmilewiSandia National Laboratories
- rpmuller
- thaumkid
- ZiyanWu93