Zoom Link: https://zoom.us/j/99099931387?pwd=InkqN5bH3HyHwi9eVip7IaEcZ7QP9c.1 Abstract:  Interactive Theorem Provers (ITPs), or proof assistants, can be thought of as digital proof readers that […]