leodemoura/lean.js
Lean ported to Javascript with Emscripten
Public GitHub Catalog
Discovered Oct 3, 2026
leodemoura / leanprover.github.io
www
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.
#26243977GitHub System ID
leodemouraOrganization / User
PublicVisibility
ActiveCatalog Status
More from leodemoura
leodemoura/tutorial
Lean Tutorials
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