Skip to content

Fix typos in normal modal and intuitionistic logic - #434

Merged
rzach merged 1 commit into
OpenLogicProject:masterfrom
maxchang3:fix/typo
Nov 14, 2026
Merged

Fix typos in normal modal and intuitionistic logic#434
rzach merged 1 commit into
OpenLogicProject:masterfrom
maxchang3:fix/typo

Fix typos in soundness and completeness proofs

47c4176
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs