3 ms·
Fantastic! Does anyone know the LaTeX source of this? I want to make a translation.
by euske 8y ago
Fantastic! Does anyone know the LaTeX source of this? I want to make a translation.
- rezahandzalah 8y agoThe end of the page says Created with https://www.madoko.net/ https://www.madoko.net/ Try contacting the authors?
- jononor 8y agoIt looks to be available at https://github.com/Z3Prover/doc/tree/master/programmingz3 https://github.com/Z3Prover/doc/tree/master/programmingz3 - see the programmingz3.mdk