GitHub repository: tomjridge/ocaml_btree
Primary language: Isabelle
Created: 2015-06-05T09:00:51Z
Description: A model of B+ trees, based on Sexton and Thielecke