https://github.com/xsnow/tamingmerge

Coq formalization for Taming the Merge Operator
https://github.com/xsnow/tamingmerge

Last synced: 2 months ago
JSON representation

Coq formalization for Taming the Merge Operator

• Host: GitHub
• URL: https://github.com/xsnow/tamingmerge
• Owner: XSnow
• License: gpl-3.0
• Created: 2020-09-03T06:22:18.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-09-27T10:01:02.000Z (over 2 years ago)
• Last Synced: 2023-03-08T19:02:49.365Z (almost 2 years ago)
• Language: Coq
• Size: 205 KB
• Stars: 4
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project