Welcome! This is my blog.
2023
All Lean Books And Where To Find Them — most recent
Lean/Coq/Isabel and Their Proof Trees
2022
Summary of Curry-Howard Correspondence in Lean
Demystifying tables (cells inside; borders outside)
2021
How to Test Stuff If You Do Computational Neuroscience
Here's my Github and Twitter.
And welcome to contact me at lakesare@gmail.com.