Skip to content
#

statistical-geometry

Star

Here is 1 public repository matching this topic...

aphoticshaman / lean-workspaces

Star 0

Lean 4 formalizations: ~960 verified theorems in information geometry, algebraic stratification, and fractal dimension theory

reproducible-research theorem-proving proof-assistant algebraic-structures formal-verification tropical-geometry cayley-dickson fractal-dimension partition-functions mathlib information-geometry lean4 ai-evaluation mathematical-proofs lean-prover fisher-metric machine-checked-proofs composition-algebras statistical-geometry moran-equation
  • Updated Apr 8, 2026
  • Lean

Improve this page

Add a description, image, and links to the statistical-geometry topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the statistical-geometry topic, visit your repo's landing page and select "manage topics."

Learn more