no code implementations • 15 Mar 2024 • Eamon Duede, Kevin Davey
Computation is central to contemporary mathematics.
Mathematical Reasoning