ACL2s

por Georgia Tech Research Corporation and Northeastern University.

Ooops

o link para download desapareceu

Licença: Código aberto

Total de downloads:3

Latest version:4.4.2

Denunciar informações incorretas

Descrição

Imagem do ecrã

Você pode baixar ACL2s 4.4.2 da nossa biblioteca de programas de graça. ACL2s fica na subcategoria Science, que fica dentro de Educação. Esse software foi originalmente criado por Georgia Tech Research Corporation and Northeastern University.

Do desenvolvedor:

ACL2 is a powerful system for integrated modeling, simulation, and inductive reasoning. Under expert control, it has been used to verify some of the most complex theorems to have undergone mechanical verification. In addition to its maturity and stability, these qualifications make it a good platform for learning about industrial-strength theorem proving.

Confira mais programas, tais como Cheetah3D, Home Design Studio Complete 17 ou aerofly RC 7 - R/C Simulator, que podem ser similares a ACL2s.

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos