Tariq on Nostr: 3rd video is now up ! this one is a short one, practising what we've already learned ...

3rd video is now up !

this one is a short one, practising what we've already learned .. but also showcasing that #lean can prove purely symbolic theorems - no actual numbers involved

this is important because purely symbolic #maths theorems can be stronger more general statements

https://youtu.be/vSQEXvnSPtU