notes
an archive of posts with this tag
Mar 21, 2025 | Lean Prover |
---|---|
Feb 14, 2025 | Natural Sums of Ordinals |
Feb 03, 2025 | A Problem of Skolem - Part 01 |
an archive of posts with this tag
Mar 21, 2025 | Lean Prover |
---|---|
Feb 14, 2025 | Natural Sums of Ordinals |
Feb 03, 2025 | A Problem of Skolem - Part 01 |