← All Domains

meta-mathematics

1 papers · 1 Lean-verified

The Unified Field: Fifteen Algebraic Structures and a Meta-Algebra for Mathematics
Verified 10,842 words