search

DmxLarchey / Breadth-First-Numbering

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

Checkbfr #9

Closed DmxLarchey closed 5 years ago

DmxLarchey commented 5 years ago

For merging checkbfr into bfr