eulir / agda-calf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jonsterling/agda-calf
A verified cost analysis of joinable red-black trees in calf, embedded in Agda.
Home Page: http://www.jonmsterling.com/agda-calf
License: Apache License 2.0