Notes about my work
Notes on my teaching philosophy and experience
posts related to books
Introducing the Lean Universal Algebra Library
Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis
I don't always use recursion; but when I do, I don't always use recursion.
posts related to programming languages