I'm giving a virtual talk at the Topos Institute Colloquium this Thursday at 10am PDT. It's about the human factors of formalized mathematics: "How to Make Mathematicians Into Programmers (And Vice Versa)". Hope to see you there!
https://researchseminars.org/talk/ToposInstituteColloquium/131/
Follow
@tonofcrates Thank you for sharing! As a recent Comp sci and Mathematics graduate student with an interest in proof assistants this looks like a seminar I can't miss. Definitely attending
