https://github.com/liesnikov/subterm-metacoq

Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
https://github.com/liesnikov/subterm-metacoq

Last synced: about 1 month ago
JSON representation

Rewriting and verifying subterm relation from Coq-Equations in MetaCoq

• Host: GitHub
• URL: https://github.com/liesnikov/subterm-metacoq
• Owner: liesnikov
• Created: 2019-12-12T14:15:19.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-27T15:47:01.000Z (over 4 years ago)
• Last Synced: 2023-03-08T19:52:39.642Z (almost 2 years ago)
• Language: Coq
• Size: 27.3 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project