aboutsummaryrefslogtreecommitdiff
path: root/lakefile.lean
blob: c1a725e629ab25e8f4695ced6fa582e71dd3b302 (plain) (blame) 
1
2
3
4
5
6
7

import Lake
open Lake DSL

package «BinaryHeap» where

@[default_target]
lean_lib «BinaryHeap» where
generated by cgit v1.2.3 (git 2.46.0) at 2025-11-04 23:08:36 +0000