/z3-proofs2latex

Script to convert z3 proofs (produced by the pretty printer from the C++/Python API) to a latex file

Primary LanguageSMTGNU General Public License v3.0GPL-3.0

Watchers