thebookworm101/sicp-pdf
SICP PDF with Texinfo and LaTeX source
Public GitHub Catalog
Discovered Oct 5, 2026
thebookworm101 / book
A textbook on informal homotopy type theory
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.
#29446034GitHub System ID
thebookworm101Organization / User
PublicVisibility
ActiveCatalog Status
More from thebookworm101
thebookworm101/ucetd-latex
University of Chicago electronic dissertation LaTeX class and template
thebookworm101/sjtu-thesis-template-latex
LaTeX templates for Shanghai Jiaotong University (SJTU) thesis
thebookworm101/latex-moderncv
My latex resume using the moderncv template