Last updated: 22nd April 2025
Learning Lean
interactive theorem prover. I find the language fascinating and I hope
ideas from it (and similar tools) will become more used across the
industry.
With it, I am doing my own twist on the Crafting Interpreters,
where I would like to go an extra mile and incorporate some ideas from
The Fuzzing Book
to test it.
Stay tuned for future posts!