395-2013

This repo contains Coq code for functions from Chris Okasaki's paper:

Three algorithms on Braun trees

Journal of Functional Programming

Volume 7 Issue 6, November 1997, 661 - 666

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
old		old
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
braun.v		braun.v
copy.v		copy.v
fl_log.v		fl_log.v
insert.v		insert.v
log_sq.v		log_sq.v
monad.v		monad.v
size-scratch.rkt		size-scratch.rkt
size.v		size.v
util.v		util.v

Provide feedback