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: 644812c2841f3d1e176ce4a3525ab643c0dbfcba (plain) (blame)

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