rubenbarroso/learningcoq
Code written while learning Coq
Public GitHub Catalog
Discovered Sep 26, 2026
rubenbarroso / IFPTLC
My solutions to exercises of the book "An Introduction to Functional Programming Through Lambda Calculus"
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.
#8192737GitHub System ID
rubenbarrosoOrganization / User
PublicVisibility
ActiveCatalog Status
More from rubenbarroso
rubenbarroso/rubenbarroso.github.com
Public repository.
rubenbarroso/TECS
The Elements of Computing Systems
rubenbarroso/schemely
Scheme plugin for IntelliJ