1 site entry connected to this topic.
Builds and systems carrying this tag
A Lean 4 project testing whether mathematical and physical structure can be derived from a minimal discrete starting point.
Related Tags