Popular repositories Loading

1. ajlitterick.github.io ajlitterick.github.io Public

   My GitHub Pages repo

   CSS

2. FeasChar FeasChar Public

   MAGMA routines and data for feasible characters in exceptional algebraic groups as used in https://doi.org/10.1090/memo/1207 (see also https://arxiv.org/abs/1511.03356)

   M

3. JamesLiebeckFormalised JamesLiebeckFormalised Public

   A formalisation of James and Liebeck's Representations and Characters of Groups

   Lean