Recent interests napkin-community/proofs : (WIP) Formal proofs of "An Infinitely Large Napkin" PnVDiscord/software-foundations-lean : (WIP) Rewriting Software Foundations in Lean 4