Computing with quotients of the Bruhat-Tits tree
Primary LanguagePython
No issues in this repository yet.