dt1510/errata
Errata files for books with mainly mathematical content
Public GitHub Catalog
Discovered Oct 2, 2026
dt1510 / phd_thesis
PhD thesis
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.
#24855328GitHub System ID
dt1510Organization / User
PublicVisibility
ActiveCatalog Status
More from dt1510
dt1510/academic_website
Public repository.
dt1510/track
Tracking the todos
dt1510/generate_ilp_input
Generates input learning files for ILP systems Progol, Aleph, Toplog, Imparo and Tal from one learning file.