supaiku dot com § what does a lean proof prove? § alternate title: the epistemics of trust in lean as a working programmer. tldr: lean’s theory is consistent.
Make this part of your paper trail
Save this paper to a shelf, write a review, and keep your own notes.