Search results

Refactor inductive

Status: Open.

#16 In philzook58/knuckledragger;

· philzook58 opened on Oct 29, 2025

Refinement python

Status: Open.

#15 In philzook58/knuckledragger;

· philzook58 opened on Oct 28, 2025

Fix sphinx build to show all Proof objects in module

Status: Open.

#11 In philzook58/knuckledragger;

· philzook58 opened on Oct 21, 2025

Make CI to check and record time for proofs

Status: Open.

#9 In philzook58/knuckledragger;

· philzook58 opened on Oct 21, 2025

Duplicate field names disallowed

Status: Open.

#7 In philzook58/knuckledragger;

· philzook58 opened on Oct 21, 2025

Rewrap with informative errors

Status: Open.

#5 In philzook58/knuckledragger;

· philzook58 opened on Oct 21, 2025