New animated video on the Lambda Calculus and Lean :D

Stream: Lean for teaching

[Eyesomorphic]

Hi all,
I posted a while ago asking for help with licensing of some lean code for a video I was making, and I'm happy to say that it has been released :D Hopefully this gets more people interested in proof assistants and Lean! You can check out the video here

[Rida Hamadani]

Happy to see an entry to #SoMePi that talks about formalization, it is a really cool video!
I have a feeling Alice will like Arend, a theorem prover written in Java. :p