You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's the first year and the second year group theory course. Group theory is already in Lean (or, more precisely, in mathlib). One natural goal here would be to digitise some of the example sheet questions and some solutions.
The text was updated successfully, but these errors were encountered:
Current state: some first example sheets are being worked on by @emacneil98 -- in src/M1P2. Maybe Yulia too -- Elliott is happy to have others join him!
There's the first year and the second year group theory course. Group theory is already in Lean (or, more precisely, in mathlib). One natural goal here would be to digitise some of the example sheet questions and some solutions.
The text was updated successfully, but these errors were encountered: