Welcome!
This is where I post articles of the form "facts about X".
Basically - the kind of posts that are meant to be discovered via google when you are interested in a specific topic.
2024
Paperproof ⚔️ Lean's #explode - most recent
Paperproof ♥️ Semantic Tableaux
Paperproof ♥️ Natural Deduction
How to search for theorems in Lean 4
2023
All Lean Books And Where To Find Them
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.