Arjun Viswanathan
Automating Interactive Theorem Provers and Certifying Automated Theorem Provers
Defense date
Location
Zoom
Degree major
Computer Science
Chair(s)
Cecare Tinelli