Search results

make a harness that will record metrics of proof attemts given different versions and configurations of the prover

Status: Open.

#25 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

implement delta+ rule

Status: Open.

#24 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

consider making deltas reduce

Status: Open.

#23 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

play with interacting with proofs (increasing q-limit, selecting rule to apply, ...)

Status: Open.

#22 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

presentation of finished, condensed proof

Status: Open.

#21 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

pursue DAG unification

Status: Open.

#20 In benjishults/ipr;

· benjishults opened on Jan 10, 2026

create theories and apply facts in proofs

Status: Open.

#13 In benjishults/ipr;

· benjishults opened on Jan 1, 2026

directions

Status: Open.

#12 In benjishults/ipr;

· benjishults opened on Jan 1, 2026

try a little equality application with unification

Status: Open.

#3 In benjishults/ipr;

· benjishults opened on Nov 22, 2024

parse interesting TPTP files

Status: Open.

#1 In benjishults/ipr;

· benjishults opened on Nov 21, 2024