University of Sydney Algebra Seminar

Ashvni Narayanan

Friday 19 September, 12-1pm, in Carslaw 175

Sporadically integrating Magma with Lean

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.