Skip to content

FEAT: Natural deduction for first-order logic - #7

Merged
ozekik merged 1 commit into
masterfrom
feat/nd-fol
Dec 11, 2025
Merged

FEAT: Natural deduction for first-order logic#7
ozekik merged 1 commit into
masterfrom
feat/nd-fol

Commits

  1. Commits on Dec 11, 2025