binary_treeversion
A Coq binary tree module
This package provides a simple binary tree data structure and associated functions.
| Author | Pierre Castoran, slightly modified by Humam Alhusaini |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/Tralalero-Tralalal/coq-binary-tree |
| Issue Tracker | https://github.com/Tralalero-Tralalal/coq-binary-tree/issues |
| Maintainer | humamalhusaini@tutamail.com |
| Dependencies |
|
| Source [http] | https://github.com/Tralalero-Tralalal/coq-binary-tree/archive/refs/tags/binary-tree.tar.gz md5=46899bef1acd87c089b954ae9ba0e975 sha512=7091014ff2e378c8e193aca22da8cccdc5513350abddb78c2abf2ecccb3758db9b55e4d32831eeba170d2042473fcf3854a0d6bf1838d99088e73b27d3dffdbd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/binary_tree/binary_tree.1.0/opam |
No package is dependent
