Prove-It
Prove-It copied to clipboard
sandialabs
A tool for proving and organizing general theorems using Python.
Because expressions are considered equal if they only differ by "alpha conversions" (a change of parameter variables of internal Lambda expressions), 'findKnownTruth' may return a KnownTruth with different labeling than...
The number/sets/real context has recently been updated, but the IntervalOO, IntervalOC, IntervalCO, and IntervalCC classes can continue to be updated and elaborated, in particular with membershipObject() methods and a related...
Would be useful to augment the InSet.conclude() method with a minimal_automation argument, defaulting minimal_automation=False. If minimal_automation = True, then it would (1) first check to see if already proven(), then...
Currently, the verb and past-tense forms of equivalence methods are auto-generated. For example, you register "simplification" as an equivalence method and then "simplified" and "simplify" are automatically generated. Documentation is...
We could store all the loaded modules for each Prove-It notebook. For quick regression tests, look at the modules and notebooks that have changed and just rerun the notebooks that...
Implement a positive integer-valued greatest common divisor function, gcd(x, y), to represent the greatest common divisor of two integer inputs x and y. Notice that we have the following properties:...
What is a proper and elegant way to define the number sets and operations?
Can we automate this by getting git contribution information when web pages are generated?
Or something to explain how to generate a context, populate it with common expressions, axioms and theorems, prove the theorems, and populate the demonstrations page.
Metadata
Owner
Metadata
A tool for proving and organizing general theorems using Python.