Published November 24, 2023
| Version v0.0.2
Software
Open
JoeyEremondi/smb-trees: Updated README and license
Description
An Agda Library for Strictly Monotone Brouwer Trees
Files
JoeyEremondi/smb-trees-v0.0.2.zip
Files
(280.5 kB)
Name | Size | Download all |
---|---|---|
md5:b38d9884dfc8f258021239e000b2189c
|
280.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/JoeyEremondi/smb-trees/tree/v0.0.2 (URL)