Coq to Lisp: Convert Coq to Scheme Extraction to Common Lisp / Emacs Lispgithub.com/leque2 pointszitterbewegung9 years ago