issues
search
sandialabs
/
Prove-It
A tool for proving and organizing general theorems using Python.
http://pyproveit.org
Other
27
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Finite function order check
#327
wwitzel
opened
1 month ago
0
313 quantum algebra development
#326
sudhindu
closed
6 months ago
0
324 mark usability bug
#325
wwitzel
closed
7 months ago
0
Theorem._mark_usability off-by-1 bug!
#324
wwitzel
opened
7 months ago
0
Prove class (or set) membership from the element side
#323
wwitzel
closed
7 months ago
0
Only unary/binary functions in the core
#322
wwitzel
opened
8 months ago
0
320 known membership applicability
#321
wwitzel
closed
9 months ago
0
Need to check 'is_applicable' for known_memberships in linear_algebra and quantum algebra packages
#320
wwitzel
opened
9 months ago
1
Fix "literal generalization" problem related to having to run theorem proofs in a specific order
#319
wwitzel
opened
11 months ago
0
New theorem produces 404 not found error for proof notebook
#318
wdcraft01
opened
11 months ago
0
316 inconsistent use of hash id in theory folder class
#317
wdcraft01
closed
11 months ago
7
Inconsistent use of hash_id in TheoryFolder class
#316
wdcraft01
opened
1 year ago
0
Avoiding differing expressions that look the same
#315
wwitzel
opened
1 year ago
2
Linear algebra development
#314
wwitzel
opened
1 year ago
4
Quantum algebra development
#313
wwitzel
opened
1 year ago
11
Implement new database utilizing sqlite
#312
wdcraft01
opened
1 year ago
0
300 presumptions allow and deny
#311
wwitzel
closed
1 year ago
3
Implement Modus Ponens Proof Step Checker
#310
wdcraft01
opened
1 year ago
1
Qpe finale witzel
#309
wwitzel
closed
1 year ago
0
Make @prover implementation easier w.r.t. auto_simplify and replacements
#308
wwitzel
opened
1 year ago
1
Qpe finale witzel
#307
wwitzel
closed
2 years ago
0
Conservative definition dependencies aren't propagating
#306
wwitzel
closed
2 years ago
1
Non-deterministic presumptions
#305
wwitzel
closed
2 years ago
3
Cancelations with the same canonical form
#304
wwitzel
opened
2 years ago
0
Canonical form of a difference within Abs or raised to an even power
#303
wwitzel
closed
2 years ago
1
Track known relations by canonical forms
#302
wwitzel
opened
2 years ago
0
sqrt(2) not rational proof dependencies (don't involve real/complex)
#301
wwitzel
opened
2 years ago
0
Replace "presumptions" with allow/deny lists
#300
wwitzel
closed
1 year ago
5
assumptions as OrderedSet
#299
wwitzel
closed
2 years ago
2
Rename "side-effects" to be "incidentals"
#298
wwitzel
opened
2 years ago
0
Order of assumptions can make a difference
#297
wwitzel
opened
2 years ago
0
Equivalence classes with canonical forms
#296
wwitzel
opened
2 years ago
0
ExprTuple.__len__ reimplementation
#295
wwitzel
closed
2 years ago
1
When preserved_exprs and replacements conflict?
#294
wdcraft01
opened
2 years ago
2
Conservative definition category of theory statements
#293
wwitzel
opened
2 years ago
1
Don't reuse an instantiation if simplification directives have changed
#292
wwitzel
opened
2 years ago
0
Rethink preserving lhs for @equality_prover methods
#291
wwitzel
opened
2 years ago
0
Mult.factorization with recursion
#290
wwitzel
opened
2 years ago
0
Expression.is_readily_provable() method
#289
wwitzel
closed
2 years ago
3
Automatic definition elimination
#288
wwitzel
opened
2 years ago
1
Inequality automation using canonical forms
#287
wwitzel
closed
2 years ago
3
Qpe finale craft 20220223
#286
wdcraft01
closed
2 years ago
0
Update theorem proof presumptions to eliminate unnecessary presumptions
#285
wdcraft01
closed
2 years ago
3
Augment Exp class with method to convert Exp to reciprocal with negated exponent
#284
wdcraft01
opened
2 years ago
0
Establish Exp.factorization() method
#283
wdcraft01
opened
2 years ago
1
QPE finale
#282
wwitzel
closed
2 years ago
0
Improve definitions, simplifications of binary Max and Min
#281
wdcraft01
closed
2 years ago
1
Stability through optimality
#280
wwitzel
opened
2 years ago
0
Avoiding Literal/Variable confusions
#279
wwitzel
opened
2 years ago
5
Display expressions with Exception output
#278
wwitzel
opened
2 years ago
1
Next