idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Latest release v0.2.0 - Published - 1 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search