idris-heyting-algebra

Tag v0.2.0

Interfaces for heyting algebras and verified bounded join and meet semilattices

Homepage Repository Idris

Keywords
idris, heyting, algebra, algebras, verified, bounded, lattice, lattices
License
MIT
Install
bower install idris-heyting-algebra

Documentation

idris-heyting-algebra

Latest release License

Interfaces for heyting algebras and verified bounded join and meet semilattices

The free Heyting algebra over one generator (aka Rieger-Nishimura lattice)

Stats

Dependent repositories
0
Total tags
2
Latest tag
First tag
Stars
1
Forks
0
Watchers
1
Contributors
1
Repository size
2.93 KB
SourceRank
7

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Tagged Releases

v0.2.0
v0.1.0

Contributors

Risto Stevcev


See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2021-02-22 02:01:31 UTC

Login to resync this project