https://github.com/cyberfined/binary-tree-agda

Provably correct indexed binary search tree
https://github.com/cyberfined/binary-tree-agda

agda binary-search-tree provably-correct

Last synced: 3 days ago
JSON representation

Provably correct indexed binary search tree

• Host: GitHub
• URL: https://github.com/cyberfined/binary-tree-agda
• Owner: cyberfined
• License: wtfpl
• Created: 2022-08-01T20:10:12.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-08-02T19:09:24.000Z (over 2 years ago)
• Last Synced: 2023-08-28T05:50:13.654Z (about 1 year ago)
• Topics: agda, binary-search-tree, provably-correct
• Language: Agda
• Homepage:
• Size: 7.81 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# binary-tree-agda

Provably correct indexed binary search tree