GitHub / yurrriq / word-processing-in-groups
:book: Word Processing in Groups
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yurrriq%2Fword-processing-in-groups
PURL: pkg:github/yurrriq/word-processing-in-groups
Stars: 1
Forks: 0
Open issues: 0
License: unlicense
Language: TeX
Size: 39.1 KB
Dependencies parsed at: Pending
Created at: almost 8 years ago
Updated at: over 1 year ago
Pushed at: almost 8 years ago
Last synced at: 6 months ago
Commit Stats
Commits: 3
Authors: 2
Mean commits per author: 1.5
Development Distribution Score: 0.333
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/yurrriq/word-processing-in-groups
Topics: agda, automatic-groups, combinatorial-group-theory, group-theory, regular-languages