Skip to content

feat: logical equivalence for modal logic#535

Merged
fmontesi merged 26 commits into
mainfrom
modal-equiv
Jun 11, 2026
Merged

feat: logical equivalence for modal logic#535
fmontesi merged 26 commits into
mainfrom
modal-equiv

fix derivation_def

f87d6ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar