Formalisation of mathematics with interactive theorem provers

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

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.