Evgenia Karunus
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.
Posts by recency
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)
Here's my Github and Twitter.
And welcome to contact me at lakesare@gmail.com.
