https://github.com/dmxlarchey/shortlex

Well-foundedness of the shortlex(icographic) product
https://github.com/dmxlarchey/shortlex

Last synced: 8 days ago
JSON representation

Well-foundedness of the shortlex(icographic) product

• Host: GitHub
• URL: https://github.com/dmxlarchey/shortlex
• Owner: DmxLarchey
• Created: 2021-11-26T08:53:42.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2021-11-26T08:55:42.000Z (almost 3 years ago)
• Last Synced: 2024-10-11T21:49:24.866Z (about 1 month ago)
• Language: Coq
• Size: 1.95 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project