#
moonbase
Here are 3 public repositories matching this topic...
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))
geometry nasa formal-verification mathlib econophysics lean4 moonbase contact-geometry lean-geometry-nasa-moonbase orthogenesis
-
Updated
Sep 2, 2026 - HTML
Add this topic to your repo
To associate your repository with the moonbase topic, visit your repo's landing page and select "manage topics."