文件名称：red-black-trees-agda:Agda 中红黑树的形式化
文件大小：3KB
文件格式：ZIP
更新时间：2024-08-02 12:49:42
Agda
Agda 的红黑树。 Agda 中红黑树的形式化，遵循 Dan Licata 在 OPLSS 2013 上给出的解决方案。
【文件预览】：
red-black-trees-agda-master
----README.md(145B)
----Extrinsic.agda(4KB)
----Intrinsic.agda(2KB)
----.gitignore(59B)