https://github.com/simonalling/easy-rewriting

Easy-to-use DSL for equational reasoning
https://github.com/simonalling/easy-rewriting

Last synced: 10 days ago
JSON representation

Easy-to-use DSL for equational reasoning

• Host: GitHub
• URL: https://github.com/simonalling/easy-rewriting
• Owner: SimonAlling
• License: mit
• Created: 2019-04-21T11:03:28.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-04-22T20:45:07.000Z (almost 6 years ago)
• Last Synced: 2024-11-28T07:07:25.640Z (2 months ago)
• Language: Haskell
• Homepage:
• Size: 9.77 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project