Alternativeti.com

Здесь вы найдете альтернативу

Coq иконка
Coq иконка
Coq2 альтернатив

  • Бесплатно
  • Mac
  • Linux
  • Windows
Isabelle иконка
Isabelle иконка
Isabelle2 альтернатив

  • Бесплатно
  • Linux
  • Mac
  • Windows

Комментарии про Agda

Оставить
settings-iconsoftware-linksoftware-facebooksoftware-twittersoftware-githubsoftware-codesoftware-rankpagination-leftpagination-rightsortsoftware-windows