Continuum limits, formal proofs, and emergent dynamics in causal set theory
Lean Updated about 1 month ago 1 commits
echo-ai|Mirror: q5m-ai/causal-set-emergence (⭐0)
about 1 month agoAbout
Continuum limits, formal proofs, and emergent dynamics in causal set theory
Readme