DmxLarchey / Breadth-First-Numbering

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

Breadth-First-Numbering

Coq implementation of Breadth-First Numbering à la Okasaki