Our readingWhat is a korrent?
Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it.
Drawn from what Grant Sanderson said
Subjectformal proof
What this subject means
formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.