2The Incredible Proof Machine – An Introduction (opens in new tab)(youtube.com)Video2peterbhnews3y ago0Save
3The Natural Number Game: Proving Theorems with Lean (opens in new tab)(youtube.com)Video1peterbhnews4y ago0Save