lean

Описание:The Lean Theorem Prover
Лицензия: Apache-2.0
Домашняя страница:https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.14.0-r1 diff - - - - - - - - - - - - -
3.9999 diff - - - - - - - - - - - - -
3.51.1 diff - - - - - - - - - - - - -
3.51.0 diff - - - - - - - - - - - - -
3.50.3 diff - - - - - - - - - - - - -
3.49.0 - - - - - - - - - - - - -

USE флаги

  • 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

Экспортировать в Atom

Спасибо!