1 Department of Physics, Faculty of Science, University of Zagreb, Zagreb, Croatia 2 Chair for Psychology, Faculty of Humanities and Social Sciences, University of Split, Split, Croatia Algebra ...

This is the repository for Algebra In Lean (AIL), an interactive problem set that takes users through an advanced course in Lean through the lens of abstract algebra. The goal of this problem set is ...