https://github.com/FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.
https://github.com/FR-vdash-bot/Algorithm

algorithm data-structure lean lean4

Last synced: about 1 month ago
JSON representation

Verified efficient algorithms in Lean4.

• Host: GitHub
• URL: https://github.com/FR-vdash-bot/Algorithm
• Owner: FR-vdash-bot
• License: apache-2.0
• Created: 2023-02-17T18:58:24.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-07-11T09:50:35.000Z (2 months ago)
• Last Synced: 2024-07-11T11:22:24.937Z (2 months ago)
• Topics: algorithm, data-structure, lean, lean4
• Language: Lean
• Homepage: https://FR-vdash-bot.github.io/Algorithm/
• Size: 207 KB
• Stars: 13
• Watchers: 2
• Forks: 0
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Algorithm

Verified efficient algorithms in Lean4.

This project is still at a very early stage.