AFellner/Thesis
Documents of my Master Thesis about Space & Congruence compression of proofs
Public GitHub Catalog
Discovered Sep 27, 2026
AFellner / Skeptik
A library for Proof Theory (especially Proof Compression) 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.
#9691895GitHub System ID
AFellnerOrganization / User
PublicVisibility
ActiveCatalog Status
More from AFellner
AFellner/Awesome-Time-Tabling
Time Tabling using the QF_UFLIA logic and SMT solver Yices
AFellner/PerfectRef
Project for Knowledge Representation and Ontologies. Implements the perfect reformulation algorithm for querying DL ontologies.
AFellner/RandomZ3
little program generating random formulae in SMT2 format as well as in DIMACS. They are fed to the z3 SMT Solver and the output is printed