Pinned Repositories
gapt
GAPT: General Architecture for Proof Theory
boogie
Boogie
tikz_nametags
Python script to generate name tags with logos via TikZ for HERMA 4420
tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
unreal-server-info
Little script to query the server info for Rune. It is expected to work for other Unreal Engine 1 games as well.
vim-sketch
Sketch language highlighting for VIM
z3
The Z3 Theorem Prover
mschlaipfer's Repositories
mschlaipfer/unreal-server-info
Little script to query the server info for Rune. It is expected to work for other Unreal Engine 1 games as well.
mschlaipfer/vim-sketch
Sketch language highlighting for VIM
mschlaipfer/boogie
Boogie
mschlaipfer/tikz_nametags
Python script to generate name tags with logos via TikZ for HERMA 4420
mschlaipfer/tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
mschlaipfer/z3
The Z3 Theorem Prover
mschlaipfer/dafny
Dafny is a verification-aware programming language
mschlaipfer/dblpquery
mschlaipfer/display-switch
Turn a $30 USB switch into a full-featured multi-monitor KVM switch
mschlaipfer/dotfiles-1
Configuration files
mschlaipfer/fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
mschlaipfer/gapt
GAPT: General Architecture for Proof Theory
mschlaipfer/hike_and_swim_2013
Mock academic article used as an invitation to a family hike-and-swim day. Written in LaTeX.
mschlaipfer/rouge
A pure Ruby code highlighter that is compatible with Pygments
mschlaipfer/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
mschlaipfer/scrambler
A simple scrambler for SMT-LIB 2.6 scripts.
mschlaipfer/smt2_files
mschlaipfer/typecart
mschlaipfer/vvt
The Vienna Verification Toolkit