Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Does sage have facilities to help prove theorems?

Does sage have modules that assist with proving theorems? Example, we give a few axioms and then a statement we want to prove. Then sage will list the formal proof.