Skip to content

refactor(Time): add manifold structure and remove TimeTransMan - #1683

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
RaunakChhatwal:time-manifold
Sep 24, 2026
Merged

jstoobysmith merged 1 commit into
leanprover-community:masterfrom
RaunakChhatwal:time-manifold

refactor(Time): add manifold structure and remove TimeTransMan

4d56ce0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Comment a pull_request
succeeded Sep 24, 2026 in 26s