Algebra Seminar: Narayanan -- Sporadically integrating Magma with Lean

Ashvni Narayanan (University of Sydney) will be speaking in the algebra seminar.  We
will go out for lunch after the talk---all are welcome to join! 

When: 12-1pm Friday September 19 

Where: Carslaw 175 

Title: Sporadically integrating Magma with Lean 

Abstract: Lean is an interactive theorem prover which is being used by several
mathematicians to verify mathematical claims.  We aim to build a bridge between Magma
and Lean that can be beneficial to both systems, with a special focus on sporadic
groups.