ACL2s

par Georgia Tech Research Corporation and Northeastern University.

Ooops

le lien de téléchargement a disparu

Type de licence: Open source

Nombre de téléchargements:3

Latest version:4.4.2

Signaler des informations incorrectes

Description

Capture d'écran

ACL2s 4.4.2 est téléchargeable gratuitement dans notre logithèque. Ce logiciel se trouve dans la sous-catégorie Science de Éducation et Science. Ce programme gratuit a été à l'origine écrit par Georgia Tech Research Corporation and Northeastern University.

Du développeur:

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.

Peut-être voudriez-vous essayer également des logiciels en rapport avec ACL2s ? Nous vous proposons Visual Studio Code, djay ou Final Cut Pro.

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts