Skip to content

refactor(Modal): bot/imp/box primitives for modal propositions#636

Closed
benbrastmckie wants to merge 1 commit into
leanprover:mainfrom
benbrastmckie:refactor/modal-lukasiewicz
Closed

refactor(Modal): bot/imp/box primitives for modal propositions#636
benbrastmckie wants to merge 1 commit into
leanprover:mainfrom
benbrastmckie:refactor/modal-lukasiewicz

refactor(Modal): Lukasiewicz primitive convention for modal propositions

9337dd9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Jun 12, 2026 in 5m 6s