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

feat: natural deduction for first-order logic

e8d8f45
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar