Lean Theorem Prover
C++ Lean Emacs Lisp CMake C Python Other
Pull request Compare This branch is even with leanprover:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin fix(bin/linja.in): roll back d8fb6f5 Feb 15, 2016
doc
extras feat(lstlean.tex): add Omega, and fix ` and * Jul 9, 2016
hott chore(hott) update book.md and constructions.md to include rezk compl… Jul 9, 2016
images chore(CMakeLists.txt): move Lean logo to make sure we can test leanem… Feb 1, 2015
library refactor(library/data/pnat): make pnat a decidable_linear_order Jul 9, 2016
script fix(script/check_md_links.py): author name Feb 24, 2016
src chore(frontends/lean,tests): fix tests and style Jul 9, 2016
tests/lean chore(frontends/lean,tests): fix tests and style Jul 9, 2016
.gitignore feat(util/file_lock): add support for Windows Dec 14, 2015
.travis.osx.yml fix(.travis.osx.yml): explicitly turn on multi-thread support May 6, 2015
.travis.windows.yml fix(.travis.windows.yml): use cmake-2.8.11.2 May 5, 2015
.travis.yml
LICENSE Add LICENSE file Jul 16, 2013
README.md refactor(README.md): change Latex link from pygments to lstlean Jun 2, 2016

README.md

logo

LicenseWindowsUbuntuOS XBuilds/Tests

Issue Stats Issue Stats

About

Requirements

Installing required packages at

Windows

Linux

OS X

Build Instructions

Miscellaneous