https://github.com/alexpeits/haskell-proofs

Examples using dependent types for mathematical proofs at the type level
https://github.com/alexpeits/haskell-proofs

Last synced: 3 months ago
JSON representation

Examples using dependent types for mathematical proofs at the type level

• Host: GitHub
• URL: https://github.com/alexpeits/haskell-proofs
• Owner: alexpeits
• License: bsd-3-clause
• Created: 2018-09-26T23:51:42.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-02-27T09:01:57.000Z (almost 5 years ago)
• Last Synced: 2023-03-01T04:15:38.923Z (almost 2 years ago)
• Language: Haskell
• Homepage: https://alexpeits.github.io/posts/2018-09-27-haskell-proofs.html
• Size: 10.7 KB
• Stars: 11
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project