Search results

Update Exists.eliminate() to reduce computations and provide more error info

enhancement

Status: Open.

Feature

#348 In sandialabs/Prove-It;

· wdcraft01 opened on Aug 23, 2025

instantiation of theorems having with_wrap options

Status: Open.

#347 In sandialabs/Prove-It;

· wdcraft01 opened on Aug 23, 2025

alternative exists_unfolding

discussion

enhancement

Status: Open.

Task

#345 In sandialabs/Prove-It;

· wdcraft01 opened on Aug 13, 2025

NotExists.conclude_via_forall update

bug

Status: Open.

Task

#343 In sandialabs/Prove-It;

· wdcraft01 opened on Aug 1, 2025

partitions

discussion

enhancement

Status: Open.

Feature

#342 In sandialabs/Prove-It;

· wdcraft01 opened on Jul 29, 2025

functions_def axiom and function restriction

discussion

enhancement

Status: Open.

Feature

#341 In sandialabs/Prove-It;

· wdcraft01 opened on Jul 4, 2025

Disparities in automatic proving of x = y + 1 vs y = x – 1

bug

discussion

Status: Open.

Bug

#340 In sandialabs/Prove-It;

· wdcraft01 opened on Jun 12, 2025

some returns missing in Add.deduce_in_number_set()

bug

Status: Open.

Bug

#338 In sandialabs/Prove-It;

· wdcraft01 opened on Jun 10, 2025

Even and odd integers

discussion

enhancement

Status: Open.

Feature

#336 In sandialabs/Prove-It;

· wdcraft01 opened on Jun 3, 2025

Improper InSet() notation when InClass() needed

discussion

enhancement

Status: Open.

Task

#334 In sandialabs/Prove-It;

· wdcraft01 opened on May 7, 2025

Cardinality of Finite Enumerated Sets, |Set(a, b, ..., n)|

discussion

enhancement

Status: Open.

Feature

#333 In sandialabs/Prove-It;

· wdcraft01 opened on Apr 24, 2025

XOR development

enhancement

Status: Open.

Task

#332 In sandialabs/Prove-It;

· wdcraft01 opened on Apr 15, 2025