automated-programs-proof-and-optimization

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
alternatives		alternatives
NOD.lisp		NOD.lisp
README.md		README.md
bin-tree-staff.lisp		bin-tree-staff.lisp
bin-tree-sub-tree.lisp		bin-tree-sub-tree.lisp
fib-seq.lisp		fib-seq.lisp
fib.lisp		fib.lisp
for-each.lisp		for-each.lisp
insertion-sort.lisp		insertion-sort.lisp
merge-sort.lisp		merge-sort.lisp
min-max.lisp		min-max.lisp
next-k-quiz.lisp		next-k-quiz.lisp
no-duplsp.lisp		no-duplsp.lisp
perm.lisp		perm.lisp
reverse.lisp		reverse.lisp
selection-sort.lisp		selection-sort.lisp

Provide feedback