news
| May 24, 2025 | cool_induction_proof |
|---|---|
| Mar 13, 2025 | I have created a bookshelf with an ongoing collection of my favorite academic books |
| Mar 06, 2025 | I have a project idea for a topological library in Lean4 that I will start working on soon. |
| Feb 11, 2025 | First blog post is up and finalized |
| Jan 25, 2025 | I created this new blog using Ruby/Jekyll and al-folio, to act as a kind of writing space for my hobbies and research needs. |