Published November 24, 2023 | Version v0.0.2
Software Open

JoeyEremondi/smb-trees: Updated README and license

Creators

  • 1. LFCS, School of Informatics, University of Edinburgh

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