http://ualberta.ca/~jsylvest/
This is an unofficial reimagining of the Archive of Formal Proofs
Chamber Complexes, Coxeter Systems, and Buildingsby Jeremy Sylvestre
Representations of Finite Groupsby Jeremy Sylvestre