https://github.com/k-dizzled/relations-via-egg

COQ Plugin solving relations from Hahn coq lib using Rust EGG library.
https://github.com/k-dizzled/relations-via-egg

Last synced: about 2 months ago
JSON representation

COQ Plugin solving relations from Hahn coq lib using Rust EGG library.

• Host: GitHub
• URL: https://github.com/k-dizzled/relations-via-egg
• Owner: K-dizzled
• Created: 2022-12-09T13:55:11.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2023-05-14T14:44:43.000Z (over 1 year ago)
• Last Synced: 2023-05-14T15:26:43.542Z (over 1 year ago)
• Language: Rust
• Homepage:
• Size: 369 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project