An open API service indexing awesome lists of open source software.

https://github.com/dmxlarchey/breadth-first-numbering

Coq implementation of Breadth-First Numbering à la Okasaki
https://github.com/dmxlarchey/breadth-first-numbering

Last synced: about 2 months ago
JSON representation

Coq implementation of Breadth-First Numbering à la Okasaki

Awesome Lists containing this project

README

        

# Breadth-First-Numbering
Coq implementation of Breadth-First Numbering à la Okasaki