Skip to content

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

Closed
benbrastmckie wants to merge 695 commits into
leanprover:mainfrom
benbrastmckie:refactor/modal-primitives
Closed

refactor(Modal): bot/imp/box primitives for modal propositions#637
benbrastmckie wants to merge 695 commits into
leanprover:mainfrom
benbrastmckie:refactor/modal-primitives

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026