proofgeneral

Описание:A generic interface for proof assistants
Домашняя страница:https://proofgeneral.github.io/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.5 - + - - - - - + - - - - +

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

Спасибо!