GitHub - KuterBora/head-equals-tail: Proving that a "head-recursive" binary search algorithm is equivalent to its "tail-recursive" counterpart in ACL2.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
head-tail(mark-solution).lisp		head-tail(mark-solution).lisp
head-tail.lisp		head-tail.lisp

Repository files navigation

Proving that a "head-recursive" binary search algorithm is equivalent to its "tail-recursive" counterpart in ACL2.

No releases published