~/Toots

How do you organize your Lean proofs? I wrote a blog post discussing some strategies I employ to make Lean 3 proofs more readable.

https://brandonrozek.com/blog/readable-lean3-proofs/

#LeanProver #ITP #FormalMethods