The latest version of constructive-algebra is 0.3.0-0.
constructive-algebra
Version 0.1 revision 0 uploaded by AndersMortberg.
Package meta
- Synopsis
- A library of constructive algebra.
- Description
A library of constructive algebra.
- Author
- Anders Mortberg, Bassel Mannaa
- Bug reports
- n/a
- Category
- Math, Algebra
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- mortberg@student.chalmers.se
- Package URL
- n/a
- Stability
- Experimental