https://github.com/phadej/dec
Decidable propositions
https://github.com/phadej/dec
Last synced: over 1 year ago
JSON representation
Decidable propositions
- Host: GitHub
- URL: https://github.com/phadej/dec
- Owner: phadej
- License: bsd-3-clause
- Created: 2022-08-21T10:48:10.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2024-12-27T20:11:36.000Z (over 1 year ago)
- Last Synced: 2025-03-01T00:55:46.703Z (over 1 year ago)
- Language: Haskell
- Size: 17.6 KB
- Stars: 4
- Watchers: 2
- Forks: 3
- Open Issues: 1
-
Metadata Files:
- Changelog: ChangeLog.md
- Contributing: CONTRIBUTING.md
- License: LICENSE