Prove-It
Prove-It copied to clipboard
sandialabs
A tool for proving and organizing general theorems using Python.
When providing or specifying kwarg information for domain in various expressions, we eventually check whether the specified domain is a set or a class and modify the constructed output expression...
The cardinality class `Card(S)`, representing the cardinality of a set $S$, has a `computation()` `equalityprover` method that relies on a `deduce_cardinality()` method of the domain set $S$. Our enumerated set...
We already have a well-developed (and well used) disjunction (logical OR) operation and theory package. It can be useful to now add the exclusive disjunction or XOR operation in its...
Issue & related branch for establishing, developing, and discussing a theory package for graph theory. The initial motivation for development of the graph theory package is its relevance to parallel...
The SetOfAllMembership and SetOfAllNonmembership classes have been created in branch 329-QEC-development-…, along with the usual class methods, using the UnionMembership and IntervalMembership classes as models. The SetOfAllMembership.conclude() method ends up...
In addition to other on-going development of quantum-related topics in Prove-It, it's time to begin developing aspects of quantum error correction (QEC) and, in particular, infrastructure (definitions, axioms, theorems) for...
Related to Issue #327 (Finite Function Order Check), it would be helpful to either modify the Expression.canonically_labeled() method or create a similar special-purpose function to perform canonical relabeling of an...
In order to avoid Curry's paradox, we need to check that every expression (including and especially instantiations that are lambda maps) has an acyclic graph of edges from operators to...
Make enhancements and fixes to the linear algebra package. For example, we currently don't even have a proper definition for a Unitary matrix to be able to declare U^{-1} =...
`while len(to_process) > 1` should be `while len(to_process) > 0` Oops! I'll fix and test this right away.
Metadata
Owner
Metadata
A tool for proving and organizing general theorems using Python.