L∃∀Ning Into Group Theory: An introduction to formalisation and group theory through Lean

Title

L∃∀Ning Into Group Theory: An introduction to formalisation and group theory through Lean

Subject

Formalisation and group theory

Creator

Archisha Biswas

Contributor

Dr Robert Kropholler (Supervisor)

Meta Tags

Formalisation, Lean, Group theory, Mathematics, Functional programming

Files

URSS Poster.png

Citation

Archisha Biswas, “L∃∀Ning Into Group Theory: An introduction to formalisation and group theory through Lean,” URSS SHOWCASE, accessed October 9, 2026, https://urss.warwick.ac.uk/items/show/1095.