Interactive Theorem Proving in Exeter
exlean is a project founded in August 2020 by Gihan Marasingha with support from the Education Incubator at the University of Exeter.
Contributing authors include:
- Gihan Marasingha
- Omar Harhara
- James Arthur
exlean is a project founded in August 2020 by Gihan Marasingha with support from the Education Incubator at the University of Exeter.
Contributing authors include: