sariaki/Grouptheory-Isabelle
A formalization of groups in Isabelle following the definitions of Van der Waerden's Modern Algebra. This was done as a group-project as part of the "Deutsche Schülerakademie" 2024.
Isabelle
A formalization of groups in Isabelle following the definitions of Van der Waerden's Modern Algebra. This was done as a group-project as part of the "Deutsche Schülerakademie" 2024.
Isabelle