Projet Logique

Revenir à la page d'acceuil.

Partie SAT: Cryptanalyse logique

A rendre pour le 11 mars.

Partie Coq: Introduction et bonne fondaison

Coq est déjà installé sur les machines de la salle 411. Installez-le sur votre machine si vous voulez travailler avec. Pour l'éditeur vous avez le choix entre CoqIDE (déjà installé avec Coq) ou Proof General si vous voulez absolument utiliser Emacs.

Les TPs

Le projet

À propos du LSV