Ferramentas de Prova e Empresas
Links:
The HOL Theorem Prover
PVS
Isabelle
Jape
ACL2
Alfie Proof Editor
Proof General
The Logic Daemon (Proof Checker)
The Boyer-Moore Theorem Prover (NQTHM)
Prover Technology
Galois Connections
Voltar
Dezembro/2002