10 min read · March 21, 2025
2025 · notes · lean-prover
8 min read · February 14, 2025
2025 · notes · order-theory
6 min read · February 03, 2025