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.
-
Notifications
You must be signed in to change notification settings - Fork 0
alpha-convert/idris-algebra
About
An attempt at proving algebra theorems in idris
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published