feat: Heyting algebra semantics for propositional logic#93
Open
thomaskwaring wants to merge 14 commits intoleanprover:mainfrom
Open
feat: Heyting algebra semantics for propositional logic#93thomaskwaring wants to merge 14 commits intoleanprover:mainfrom
thomaskwaring wants to merge 14 commits intoleanprover:mainfrom
Commits
Commits on Oct 8, 2025
- committed
twwar - committedtwwar
- committedtwwar
Commits on Oct 9, 2025
- committedtwwar
- committedtwwar
- committedtwwar
Commits on Oct 10, 2025
- committedtwwar
- committedtwwar
- committedtwwar
Commits on Oct 11, 2025
- committedtwwar
- authored andcommitted
- committedtwwar
- committedtwwar
- committedtwwar
