search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Plane trees #1110

Closed EgbertRijke closed 7 months ago

EgbertRijke commented 7 months ago

This is a short pull request introducing plane trees and proves that the type of plane trees is equivalent to the type of full binary trees.

There are some related old files about binary trees which I will clean up in another pull request, but not here.

VojtechStep commented 7 months ago

Looks good, enabling automerge