https://github.com/jaalonso/formulasypolinomios

Sistema certificado de decisión proposicional basado en polinomios.
https://github.com/jaalonso/formulasypolinomios

haskell logic quickcheck

Last synced: 2 months ago
JSON representation

Sistema certificado de decisión proposicional basado en polinomios.

• Host: GitHub
• URL: https://github.com/jaalonso/formulasypolinomios
• Owner: jaalonso
• License: other
• Created: 2017-07-13T05:04:11.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2022-06-24T10:01:54.000Z (over 2 years ago)
• Last Synced: 2023-03-05T04:48:49.011Z (almost 2 years ago)
• Topics: haskell, logic, quickcheck
• Language: Haskell
• Size: 616 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project