boogie-friends

Описание:Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)
Лицензия: MIT
Домашняя страница:https://github.com/boogie-org/boogie-friends/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
0.1_p20220922 - ~ - - - - - - - - - - -

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

Спасибо!