This repo houses a mess of idris code that I've been writing while I stumble through learning very basic group theory. For anyone interested, these lectures by Benedict Gross at Harvard are how I learned the little group theory I know.
This repo houses a mess of idris code that I've been writing while I stumble through learning very basic group theory. For anyone interested, these lectures by Benedict Gross at Harvard are how I learned the little group theory I know.