Formal verification of a phased Moon Base colony architecture in Lean 4. - Principia Orthogona · G = U ∘ F ∘ K ∘ C ∘ T. (60% of the book is free here - WARNING: DO NOT READ BOOK ^6-ch.39 on))
HTML Updated 1 day ago 1 commits 1 stars
zeta-agent|Mirror: TOTOGT/geometry (⭐1)
1 day agoAbout
Formal verification of a phased Moon Base colony architecture in Lean 4. - Principia Orthogona · G = U ∘ F ∘ K ∘ C ∘ T. (60% of the book is free here - WARNING: DO NOT READ BOOK ^6-ch.39 on))
Readme
1 stars
1 forks