amato-gianluca
Associate professor of mathematical logic at the University of Chieti-Pescara.
UniversitĂ di Chieti-PescaraPescara, Italy
amato-gianluca's Stars
James-Yu/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
jandom-devel/Jandom
An abstract-interpretation based static analyzer written in Scala.
martin-ueding/fedora-texlive-doc