search

sandialabs / Prove-It

A tool for proving and organizing general theorems using Python.
http://pyproveit.org
Other
27 stars 10 forks source link

sqrt(2) not rational proof dependencies (don't involve real/complex) #301

Open wwitzel opened 2 years ago