Lean Theorem Prover
C++ Lean Emacs Lisp CMake C Python Other
Pull request Compare This branch is 52 commits behind leanprover:master.
Latest commit f5cbdff Feb 19, 2017 @leodemoura leodemoura feat(library/tools/mini_crush/default): provide equational lemmas for…
… "relevant" functions to rsimp; make sure we do not get stuck in ematching loop by using try_for

README.md

logo

LicenseWindowsLinux / macOSTest Coverage
Codecov

Issue Stats

About

Requirements

Installing required packages at

Windows

Linux

OS X

Build Instructions

Miscellaneous