lake-manifest.json - BinaryHeap - A toy project about formal validation of a Heap in Lean4

about summary refs log tree commit diff

path: root/lake-manifest.json

blob: c1148ad36c2a51c0effca191047a7eda7cdc2afb (plain) (blame)

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages": [],
 "name": "BinaryHeap",
 "lakeDir": ".lake"}