lean

Description:The Lean Theorem Prover
License: Apache-2.0
Homepage:https://leanprover-community.github.io/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
3.9999 diff - - - - - - - - - - - - -
3.51.1 diff - + - - - - - - - - - - ~
3.51.0 diff - ~ - - - - - - - - - - ~
3.50.3 diff - + - - - - - - - - - - ~
3.49.0 - + - - - - - - - - - - ~

USE flags

  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • threads - Add threads support for various packages. Usually pthreads

Also available in: Atom

Thank you!