Commits

Commits on Jun 6, 2026

improve concept around behavioral graphs for proof systems
xamidi
committed

Commits on Jun 1, 2026

support forward declarations for up to oneTBB v2023.0.0 + update version
xamidi
committed

Commits on Apr 4, 2026

add computing time project extension proposal for 4.2026 - 3.2027
xamidi
committed

Commits on Mar 4, 2026

readme: link to new proof minimization challenge
xamidi
committed

Commits on Mar 3, 2026

next PMC: add 1-basis traversing proofs + shortened nine 1-basis proofs
xamidi
committed

Commits on Mar 2, 2026

--unite: more precise wording of debug output
xamidi
committed

Commits on Feb 24, 2026

readme: more plausible wording
xamidi
committed

Commits on Feb 22, 2026

readme: more accurate wording
xamidi
committed

Commits on Feb 17, 2026

readme: add 'who is this for' section
xamidi
committed

Commits on Feb 15, 2026

readme: set text paragraph alignment to fully justified
xamidi
committed

Commits on Feb 14, 2026

Commits on Jan 31, 2026

fix: do not consider overspecified theorems from vault entries erroneous
xamidi
committed

Commits on Jan 21, 2026

fix: update target theorem indices after proof compression purification
xamidi
committed

Commits on Nov 14, 2025

--transform -v: let vault files encompass regular rounds
xamidi
committed

Commits on Nov 13, 2025

slightly improve structure around vault management for proof compression
xamidi
committed

Commits on Nov 12, 2025

--transform -b: also remove non-trivial proofs of axioms
xamidi
committed

Commits on Oct 31, 2025

readme: add propositional case and literature to proof complexity remark
xamidi
committed

Commits on Oct 19, 2025

new feature '--rebase': convert proof summary to use different axioms
xamidi
committed

Commits on Oct 10, 2025

Commits on Sep 29, 2025

upgrade syntax tree SVGs to creations of the 'logic-structuralizer' tool
xamidi
committed

Commits on Jun 12, 2025

grammar
xamidi
committed

Commits on Jun 7, 2025

readme: link FitchFX-formatted natural deduction proofs of C-N 1-bases
xamidi
committed

Commits on Jun 6, 2025

increase efficiency of '--transform -x,-z' + "baby steps" option ('-#')
xamidi
committed

Commits on May 30, 2025

fix some cosmetic issues
xamidi
committed

Commits on May 28, 2025

new feature '--unite': create union of proof summary files
xamidi
committed

Commits on May 27, 2025

new feature '--ndconvert': convert natural deduction to D-proof summary
xamidi
committed

Commits on May 26, 2025

code style improvements
xamidi
committed

Commits on May 21, 2025

--parse: show index origins whenever modified + code style improvements
xamidi
committed

Commits on Apr 30, 2025

readme: refer to exemplary proof parsing and minimal 1-base PMC
xamidi
committed

Commits on Apr 13, 2025

readme: add table of contents
xamidi
committed

Commits on Mar 27, 2025

fix '-c -N' documentation for unlimited consecutive N-rule applications
xamidi
committed

Commits on Mar 24, 2025

add computing time project extension proposal for 4.2025 - 3.2026
xamidi
committed