search

ImperialCollegeLondon / xena-UROP-2018

A place to put our 2018 Xena project UROP thoughts and programs.
Apache License 2.0
23 stars 5 forks source link

Group theory #1

Open kbuzzard opened 6 years ago

kbuzzard commented 6 years ago

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.

kbuzzard commented 6 years ago

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!

kbuzzard commented 6 years ago

@dorhinj is thinking about signature of a permutation (this is in M2PM2).