Skip to content

feat(Logics/Temporal/Syntax): temporal formula type and syntax utilities#642

Closed
benbrastmckie wants to merge 5 commits into
leanprover:mainfrom
benbrastmckie:pr3/temporal-syntax
Closed

feat(Logics/Temporal/Syntax): temporal formula type and syntax utilities#642
benbrastmckie wants to merge 5 commits into
leanprover:mainfrom
benbrastmckie:pr3/temporal-syntax

style: shorten Gabbay citation to stay within 100-char line limit

8ea3dfb
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 59s