Pinned Loading

1. tikz_nametags tikz_nametags Public

   Python script to generate name tags with logos via TikZ for HERMA 4420

   Python

2. vim-sketch vim-sketch Public

   Sketch language highlighting for VIM

   Vim Script 1

3. tracecheck-interpol tracecheck-interpol Public

   Labelled interpolation system for resolution proofs in the Tracecheck format.

   C

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. gapt/gapt gapt/gapt Public

   GAPT: General Architecture for Proof Theory

   Scala 95 18