3 ms·Coq to Lisp: Convert Coq to Scheme Extraction to Common Lisp / Emacs Lisp2 points by zitterbewegung 9y ago