![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]
Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]Add to your list(s) Send you e-mail reminders This is a joint seminar series between the Department of Computer Science and Technology and the Faculty of Mathematics, on the fast-growing area of formalisation of mathematics with proof assistants (interactive theorem provers) such as Isabelle and Lean. All levels welcome. Undergraduate students are particularly encouraged to actively participate.
|