Universal Diophantine Equations in Isabelle | Mathematical Research at the University of Cambridge

skip to content

If you have a question about this talk, please contact Anand Rao Tadipatri.

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8H...

Meeting ID: 898 5609 1954 Passcode: ITPtalk