Risto-Stevcev / idris-heyting-algebra Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

Interfaces for heyting algebras and verified bounded join and meet semilattices

5 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Interfaces		Interfaces
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bower.json		bower.json
heyting-algebra.ipkg		heyting-algebra.ipkg

Repository files navigation

idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

About

Interfaces for heyting algebras and verified bounded join and meet semilattices

algebra semilattices idris join lattice algebras meet lattices heyting-algebras heyting semilattice bounded

Report repository

Releases

Packages

No packages published

Languages

Idris 100.0%