The Coq proof assistant
Imported logic prover
Informationen
Erstmals am 10.05.2007 gespeichert von Ganjabi
Zuletzt am 10.05.2007 gespeichert von Ganjabi
Alle Bookmarks von coq.inria.fr »
Weitere Bookmarks zu imported, logic, prover