Name		Name	Last commit message	Last commit date
Latest commit History 109 Commits
.nix		.nix
.tr61		.tr61
src		src
README.md		README.md

Repository files navigation

Isabelle formalization of B-tree correctness using tree stacks

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Isabelle 98.2%
Nix 1.5%
Shell 0.3%