BinaryHeap.lean - BinaryHeap - A toy project about formal validation of a Heap in Lean4

about summary refs log tree commit diff

path: root/BinaryHeap.lean

blob: 64dc552afc3a795862685805b2efcfca330bf9ba (plain) (blame)

1
2
3

import BinaryHeap.Basic
import BinaryHeap.Aux
import BinaryHeap.Relations