https://github.com/roboguy13/rewrite-logic

A simple proof assistant based on string rewriting (work in progress)
https://github.com/roboguy13/rewrite-logic

parsing proof-assistant rewriting rewriting-system string-rewriting

Last synced: 6 days ago
JSON representation

A simple proof assistant based on string rewriting (work in progress)

• Host: GitHub
• URL: https://github.com/roboguy13/rewrite-logic
• Owner: roboguy13
• Created: 2021-02-17T07:38:17.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-04-03T06:49:31.000Z (almost 4 years ago)
• Last Synced: 2023-08-02T07:41:32.315Z (over 1 year ago)
• Topics: parsing, proof-assistant, rewriting, rewriting-system, string-rewriting
• Language: Haskell
• Homepage:
• Size: 140 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project