https://github.com/lengyijun/mergesort
https://github.com/lengyijun/mergesort
agda proof
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/lengyijun/mergesort
- Owner: lengyijun
- Created: 2022-03-29T01:50:24.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-06-18T01:47:08.000Z (almost 4 years ago)
- Last Synced: 2023-04-25T19:02:54.125Z (about 3 years ago)
- Topics: agda, proof
- Language: Coq
- Homepage:
- Size: 779 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0