https://github.com/tomcat-42/haskell-tautology-checker

Checks if a logical formula is a tautology
https://github.com/tomcat-42/haskell-tautology-checker

Last synced: 25 days ago
JSON representation

Checks if a logical formula is a tautology

• Host: GitHub
• URL: https://github.com/tomcat-42/haskell-tautology-checker
• Owner: Tomcat-42
• License: other
• Created: 2021-02-14T05:40:56.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2021-02-14T05:44:36.000Z (almost 4 years ago)
• Last Synced: 2023-03-07T21:29:54.843Z (almost 2 years ago)
• Language: Haskell
• Size: 3.91 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project