emilypi / group-theory

The theory of groups

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

group-theory

Hackage Build Status

This is a package for exploring constructive group theory in Haskell.

Contact Information

Contributions and bug reports are welcome!

Co-maintained by Emily Pillmore (@topos) and Reed Mullanix (@totbwf). Please feel free to contact either myself, or Reed through github or on the #haskell IRC channel on irc.libera.chat.

- Emily

About

The theory of groups

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 98.7%Language:Nix 1.3%