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