3 ms·I suspect they are using pandoc at the backend to do something like pandoc -lean.pdf lean.markdown?by r4vik 14y agoI suspect they are using pandoc at the backend to do something like pandoc -lean.pdf lean.markdown?