Developer Profile
leodemoura
Discovered public repositories for leodemoura in the GitHub catalog.
leodemoura/lean.js
Lean ported to Javascript with Emscripten
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
leodemoura/libraries
Lean Libraries
leodemoura/lean
Lean Theorem Prover
leodemoura/APPA
\all X. X \Pi: APPA article
leodemoura/leodemoura.github.com
homepage