c'est pas nouveau, plein de langages l'utilisent dont coq

Retourner au contenu associé (journal : Lambda calcul)

# c'est pas nouveau, plein de langages l'utilisent dont coq

Posté par free2.org le 03 octobre 2003 à 19:12. En réponse au journal Lambda calcul. Évalué à 3.

http://dept-info.labri.u-bordeaux.fr/HBib/Lambda.html(...)

j'aime particulièrement le système coq (sous linux) qui permet de prouver mathématiquement qu'un programme est exact
http://coq.inria.fr/(...)