Public GitHub Catalog
Discovered Oct 3, 2026
leodemoura / tutorial
Lean Tutorials
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.
#26243952GitHub System ID
leodemouraOrganization / User
PublicVisibility
ActiveCatalog Status
More from leodemoura
leodemoura/lean.js
Lean ported to Javascript with Emscripten
leodemoura/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
leodemoura/andromeda
A minimalist implementation of type theory, suitable for experimentation