learning a ton about proof engineering in practiceBy danlearning a ton about proof engineering in practiceView original