Formalization: Proving Theorems via Computers YouTube video by Zaiku Group

Check out my talk "Formalization: Proving Theorems via Computers" organized by #Zaiku starting today (Monday) at 17 GMT:
youtube.com/live/vNVXPI8...
#formalization