update document
prove many lemmas in binsearch.v
start: binary-heap (binheap.v)
toward merge
del
Initial Commit (for binary-heap)
Merge branch 'binary-heap' into develop
fix
Merge branch 'binary-heap' into develop
del doc from develop
add doc
Merge branch 'develop'