mschlaipfer/tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
Developer Profile
mschlaipfer
Discovered public repositories for mschlaipfer in the GitHub catalog.
mschlaipfer/fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
mschlaipfer/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
mschlaipfer/hike_and_swim_2013
Mock academic article used as an invitation to a family hike-and-swim day. Written in LaTeX.
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.