sci-mathematics/lean
The Lean Theorem Prover
Screenshots
View
Download
BrowseUSE Flags
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
source
Global: Zip the sources and install them
+threads
* This flag is undocumented *