Skip to content

Interfaces for heyting algebras and verified bounded join and meet semilattices

License

Notifications You must be signed in to change notification settings

Risto-Stevcev/idris-heyting-algebra

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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)