Notes about my work
Notes on my teaching philosophy and experience
posts related to books
Introducing the lean-ualib
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