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