https://github.com/nielstron/bplustrees
A Verified Imperative Implementation of B+-Trees in Isabelle
https://github.com/nielstron/bplustrees
bplustree imperative-programming isabelle verification
Last synced: 20 days ago
JSON representation
A Verified Imperative Implementation of B+-Trees in Isabelle
- Host: GitHub
- URL: https://github.com/nielstron/bplustrees
- Owner: nielstron
- License: bsd-2-clause
- Created: 2021-04-22T00:41:27.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2022-08-16T12:08:08.000Z (over 3 years ago)
- Last Synced: 2025-02-14T00:56:36.205Z (12 months ago)
- Topics: bplustree, imperative-programming, isabelle, verification
- Language: Isabelle
- Homepage:
- Size: 3.5 MB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0