Comment by euske | Hacker News Reader

Top New Best Ask Show Jobs

Comment by euske | Hacker News Reader

Fantastic! Does anyone know the LaTeX source of this? I want to make a translation.

It looks to be available at https://github.com/Z3Prover/doc/tree/master/programmingz3 - see the programmingz3.mdk

The end of the page says Created with https://www.madoko.net/

Try contacting the authors?

Reply on news.ycombinator.com