mschlaipfer/tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
Public GitHub Catalog
Discovered Oct 5, 2026
mschlaipfer / fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#30078824GitHub System ID
mschlaipferOrganization / User
PublicVisibility
ActiveCatalog Status
More from mschlaipfer
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.