#
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
geometry nasa formal-verification mathlib econophysics lean4 moonbase contact-geometry lean-geometry-nasa-moonbase orthogenesis
-
Updated
Aug 4, 2026 - HTML
Improve this page
Add a description, image, and links to the moonbase topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the moonbase topic, visit your repo's landing page and select "manage topics."