Version 0.0.1.1-0 of heyting-algebras is deprecated.
The latest version of heyting-algebras is 0.2.0.1-0.
heyting-algebras
Version 0.0.1.1 revision 0 uploaded by coot.
Package meta
- Synopsis
- Heyting and Boolean algebras
- Description
This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.
- Author
- Marcin Szamotulski
- Bug reports
- n/a
- Category
- Math
- Copyright
- (c) 2018 Marcin Szamotulski
- Homepage
- n/a
- Maintainer
- profunctor@pm.me
- Package URL
- n/a
- Stability
- n/a