Welcome

This is my corner of the web where I share thoughts on software, mathematics, puzzles, life, and anything else that sparks my interest.

Lean series:

• Learning Lean (part 1)
• Learning Lean (part 2)
• Learning Lean (part 3)
• Learning Lean (part 4)
• Why formalize mathematics - more than catching errors
• From Sets in Math to Types in Lean: Subtype, Fin, Set, Finset, and Fintype

Other posts:

• Incremental Computation (part 1)
• Incremental Computation (part 2)
• Incremental Computation (part 3)

See all posts

There are intentionally no comment sections, but if you’d like to discuss any of these topics, feel free to reach out to me at rkirov@gmail.com or x.com/radokirov.