Pinned Repositories
leodemoura's Repositories
leodemoura/lean
Lean Theorem Prover
leodemoura/LNSym
Armv8 Native Code Symbolic Simulator in Lean
leodemoura/attr_ex
Lean Attributes Example
leodemoura/z3
The Z3 Theorem Prover
leodemoura/APPA
\all X. X \Pi: APPA article
leodemoura/libraries
Lean Libraries
leodemoura/msc-thesis
leodemoura/aesop
White-box automation for Lean 4
leodemoura/alc-lean
Formalization of ALC Logic in LEAN Prover
leodemoura/andromeda
A minimalist implementation of type theory, suitable for experimentation
leodemoura/book
The Rust Programming Language
leodemoura/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
leodemoura/dreal.github.io
www
leodemoura/isabelle
git mirror of the Munich isabelle hg repository
leodemoura/lean.js
Lean ported to Javascript with Emscripten
leodemoura/Lean.tmbundle
A TextMate bundle for the Lean language
leodemoura/lean4
Lean 4 programming language and theorem prover
leodemoura/lean_clone
leodemoura/leanproved
Theorems proved using the Lean prover.
leodemoura/leanprover.github.io
www
leodemoura/leodemoura
Config files for my GitHub profile.
leodemoura/leodemoura.github.com
homepage
leodemoura/mathlib4
Work in progress mathlib port for lean 4
leodemoura/presentations
lean-related presentations
leodemoura/tutorial
Lean Tutorials
leodemoura/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.