search

DmxLarchey / Breadth-First-Numbering

Coq implementation of Breadth-First Numbering à la Okasaki
Other
0 stars 0 forks source link

bft_std and bft_forest and equalities #11

Closed DmxLarchey closed 5 years ago

DmxLarchey commented 5 years ago

Merging splitting of bft into bft_std, dft_std, bft_forest bft_forest does not use niveaux_f anymore, concat is merged