GitHub repository: quaffpotion/ggt
Primary language: TeX
Description: Geometric group theory