From Zero to QED: An informal introduction to formality in Lean 4 (via mplant) — discussion
#compsci #formalmethods
