Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jaalonso / FormulasYpolinomios
Sistema certificado de decisión proposicional basado en polinomios.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FFormulasYpolinomios
Stars: 3
Forks: 1
Open Issues: 0
License: other
Language: Haskell
Repo Size: 616 KB
Dependencies:
7
Created: almost 7 years ago
Updated: almost 2 years ago
Last pushed: almost 2 years ago
Last synced: about 1 year ago
Topics: haskell, logic, quickcheck
Files
Loading...
Readme
Loading...
Dependencies
FormulasYpolinomios.cabal
hackage
- QuickCheck *
- base >=4.7 && <5
- doctest *
- QuickCheck * test
- base >=4.7 && <5 test
- doctest * test
- doctest-discover * test