search

sandialabs / Prove-It

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

324 mark usability bug #325

Closed wwitzel closed 7 months ago

wwitzel commented 7 months ago

I ran across this bug hiding in there. After the fix, I made sure all of the theorem proof notebooks ran and just needed one allowed_presumptions.txt update. Go ahead and take a look for your awareness, then it should be fine to pull this into master.