5 ms·
typesetting? huh? edit : oh, they also procedurally produce typeset text in the original syntax from the code in coq
by drdeca 5y ago
typesetting? huh? edit : oh, they also procedurally produce typeset text in the original syntax from the code in coq