Академический Документы
Профессиональный Документы
Культура Документы
Provedores Ativos
Portanto, o Theorem Prover Museum mantém uma lista de repositórios de código fonte de provadores de
teoremas ativos, esperando que eles prosperem por um longo tempo.
Essa lista também contém provadores de teoremas que muitos supõem não estar mais ativos. Alguns dos
sistemas chegam aqui quando eu entro em contato com os mantenedores para doar o código para o museu.
Por exemplo, entrei em contato com David McAllester (que não tinha sido visto na comunidade ATP por
uma década) sobre o provador do teorema Ontic e recebi uma resposta um tanto indignada … mas a vida de
Ontic viveu !!!! . pró
MUSCADET
Repositório: R1
swMATH
Isabelle
https://theoremprover-museum.github.io/active/ 1/2
17/04/2019 The Theorem Prover Museum - Active Provers
licença: BSD
língua: Padrão ML e Scala
Repositório: R1
TPM Archive swMATH
Sótão
em breve
pagina http://class-int.narod.ru/
inicial:
autores: Oleg Okhotnikov, Yuri Vtorushin
development: 2004-2007
language: C++
This is an early variant of our system, which we used in practical classes at the university;
note:
we plan to resume development in the near future
TPM Archive
GitHub Atom Feed Contact
© Theorem Prover Museum Contributors
Licensed under GPL3
Last update at 2018-10-19 05:26:50 +0000
https://theoremprover-museum.github.io/active/ 2/2