YaccConstructor/LangToGroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

语言：Haskell · GitHub 星标：4 · Fork：7

话题：formal-languages · group-theory · group-theory-algorithms · haskell-application

在 GitHub 上查看原仓库