Skip to content

feat: allow configurable symbols for all connectives - #8

Open
christopher-hampson wants to merge 1 commit into
DigitalFormalLogic:masterfrom
christopher-hampson:feature/grammar-symbols
Open

feat: allow configurable symbols for all connectives#8
christopher-hampson wants to merge 1 commit into
DigitalFormalLogic:masterfrom
christopher-hampson:feature/grammar-symbols

Commits

  1. Commits on Mar 17, 2026