Skip to content

Move ≡-Reasoning from Core to Properties and implement using syntax#2159

Merged
MatthewDaggitt merged 1 commit into
masterfrom
propositional-reasoning
Oct 17, 2023
Merged

Move ≡-Reasoning from Core to Properties and implement using syntax#2159
MatthewDaggitt merged 1 commit into
masterfrom
propositional-reasoning

Move ≡-Reasoning from Core to Properties and implement using syntax

15f128b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs