shd/tt2014
Type theory (IFMO, 2014)
Public GitHub Catalog
Discovered Oct 2, 2026
shd / logic2014
Public repository discovered through GitHub real-time crawl.
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.
#24121262GitHub System ID
shdOrganization / User
PublicVisibility
ActiveCatalog Status
More from shd
shd/logic2011
Public repository.