search

knxm / mathlibre

Live Linux for Mathematical Software
Other
18 stars 6 forks source link

ssreflect and proofgeneral #19

Open knxm opened 11 years ago

knxm commented 11 years ago

These packages are request from Prof. Mizoguchi, these are debian official. He is introducing latexmk too, it's interesting. https://logic.math.kyushu-u.ac.jp/wiki/pages/T6J5_163/MathLibre%E3%81%ABssreflect%E3%81%A8latexmk%E3%82%92%E5%85%A5%E3%82%8C%E3%81%9F.html#

knxm commented 11 years ago

I added libssreflect-ocaml-dev, libssreclect-coq, proofgeneral and latexmk.