https://github.com/yurrriq/word-processing-in-groups

:book: Word Processing in Groups
https://github.com/yurrriq/word-processing-in-groups

agda automatic-groups combinatorial-group-theory group-theory regular-languages

Last synced: 3 months ago
JSON representation

:book: Word Processing in Groups

• Host: GitHub
• URL: https://github.com/yurrriq/word-processing-in-groups
• Owner: yurrriq
• License: unlicense
• Created: 2017-09-17T20:57:05.000Z (almost 9 years ago)
• Default Branch: develop
• Last Pushed: 2017-09-22T05:19:14.000Z (over 8 years ago)
• Last Synced: 2025-01-18T02:44:07.158Z (over 1 year ago)
• Topics: agda, automatic-groups, combinatorial-group-theory, group-theory, regular-languages
• Language: TeX
• Homepage: http://yurrriq.codes/word-processing-in-groups/WPiG.pdf
• Size: 39.1 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Word Processing in Groups

*Toying with ideas from [Word Processing in Groups][book] in [Agda][].*

[book]: https://www.crcpress.com/Word-Processing-in-Groups/Epstein/p/book/9780867202441

[Agda]: http://wiki.portal.chalmers.se/agda/