GitHub - joom/hezarfen: a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features - discu.eu

Linking pages

GitHub - nomeata/ghc-justdoit: A magic typeclass that just does it https://github.com/nomeata/ghc-justdoit 13 comments
GitHub - vmchale/composition: Composition extras for Idris https://github.com/vmchale/composition 3 comments

Linked pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - joom/hezarfen: a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

See how to search.

Submit link to: