Proof Sketches

This page contains discussion of formalization of mathematics via Lean. See here for the posts.