Arihant Gadgade
Writings
Article Orderings:
Chronological Writings
Categorized Writings
|——
Theorem Prover Overview
|——
Lean Theorem Prover
|——
Visualizer for the sum of the first n natural numbers
|——
Von Neumann Ordinals
|——
Concept List in Metamathematics and Foundation of Math