https://github.com/dmxlarchey/tree-mirror

Tree mirroring specified in a small fun. language and Coq proofs of correctedness
https://github.com/dmxlarchey/tree-mirror

Last synced: 29 days ago
JSON representation

Tree mirroring specified in a small fun. language and Coq proofs of correctedness

• Host: GitHub
• URL: https://github.com/dmxlarchey/tree-mirror
• Owner: DmxLarchey
• Created: 2019-01-18T14:37:44.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-10-23T15:02:07.000Z (about 4 years ago)
• Last Synced: 2024-11-06T07:44:18.251Z (3 months ago)
• Language: Coq
• Size: 31.3 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Tree-mirror

Tree mirroring specified in a small fun. language and Coq proofs of correctedness