rubenbarroso/learningcoq
Code written while learning Coq
Public GitHub Catalog
Discovered Sep 24, 2026
rubenbarroso / SICP
My solutions to the exercises in the book Structure and Interpretation of Computer Programs.
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.
#2397673GitHub System ID
rubenbarrosoOrganization / User
PublicVisibility
ActiveCatalog Status
More from rubenbarroso
rubenbarroso/rubenbarroso.github.com
Public repository.
rubenbarroso/IFPTLC
My solutions to exercises of the book "An Introduction to Functional Programming Through Lambda Calculus"
rubenbarroso/TECS
The Elements of Computing Systems