Skip to content

feat: topological characterization of safety and liveness properties of infinite sequences - #704

Open
ctchou wants to merge 13 commits into
leanprover:mainfrom
ctchou:topo-safe-live
Open

feat: topological characterization of safety and liveness properties of infinite sequences#704
ctchou wants to merge 13 commits into
leanprover:mainfrom
ctchou:topo-safe-live

Merge remote-tracking branch 'upstream/main' into topo-safe-live

e8a8152
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 3, 2026 in 3s