mschlaipfer/tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
Public GitHub Catalog
Discovered Sep 27, 2026
mschlaipfer / scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
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.
#10530706GitHub System ID
mschlaipferOrganization / User
PublicVisibility
ActiveCatalog Status
More from mschlaipfer
mschlaipfer/fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
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.