[Trivialibre] Question validée

[trivialibre at enix.org]

Bonjour,

La question suivante, que vous avez proposée pour Trivialibre,
a été validée par les modérateurs.

  Catégorie: Logiciels
  Question : De ACL2, Coq, HOL et PVS, lequel de ces logiciels n'est pas un assistant de preuve libre ?
  Réponse  : PVS

Grâce à vous, il y a maintenant 64 questions dans la catégorie
Logiciels et 334 questions au total.

Merci de votre participation !

Bonne journée,

-- 
Trivialibre
http://thomas.enix.org/trivialibre/