Giters
Leonardo de Moura (leodemoura)

leodemoura

Geek Repo

512

followers

3

following

97

stars

Company:AWS

Location:Seattle

Home Page:http://leodemoura.github.io/

Github PK Tool:Github PK Tool

Organizations
IMO-grand-challenge
leanprover

Leonardo de Moura's repositories

lean

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:14Issues:5Issues:0

LNSym

Armv8 Native Code Symbolic Simulator in Lean

Language:LeanLicense:Apache-2.0Stargazers:3Issues:0Issues:0

attr_ex

Lean Attributes Example

Language:LeanStargazers:2Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0

APPA

\all X. X \Pi: APPA article

Language:TeXStargazers:1Issues:4Issues:0

libraries

Lean Libraries

Language:LuaLicense:Apache-2.0Stargazers:1Issues:2Issues:0

msc-thesis

Language:LeanLicense:NOASSERTIONStargazers:1Issues:2Issues:0

aesop

White-box automation for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

alc-lean

Formalization of ALC Logic in LEAN Prover

Language:LeanStargazers:0Issues:1Issues:0

andromeda

A minimalist implementation of type theory, suitable for experimentation

Language:OCamlStargazers:0Issues:3Issues:0

book

The Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

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.

Language:CoqLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

dreal.github.io

www

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

isabelle

git mirror of the Munich isabelle hg repository

Language:IsabelleLicense:NOASSERTIONStargazers:0Issues:2Issues:0

lean.js

Lean ported to Javascript with Emscripten

Stargazers:0Issues:0Issues:0

Lean.tmbundle

A TextMate bundle for the Lean language

License:Apache-2.0Stargazers:0Issues:2Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lean_clone

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

leanproved

Theorems proved using the Lean prover.

Language:LeanStargazers:0Issues:2Issues:0

leanprover.github.io

www

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

leodemoura

Config files for my GitHub profile.

Stargazers:0Issues:2Issues:0

leodemoura.github.com

homepage

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mathlib4

Work in progress mathlib port for lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

presentations

lean-related presentations

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

tutorial

Lean Tutorials

Language:Emacs LispStargazers:0Issues:2Issues:0

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0