Coq (Software)
Coq ist eine freie Software zum maschinengestützten Beweisen mathematischer Aussagen.
| Coq | |
|---|---|
| Basisdaten | |
| Entwickler | TypiCal |
| Erscheinungsjahr | 1. Mai 1989 |
| Aktuelle Version | 8.19.1 (4. März 2024) |
| Betriebssystem | Plattformunabhängig |
| Programmiersprache | Objective CAML, C |
| Kategorie | Maschinengestütztes Beweisen |
| Lizenz | LGPL (Freie Software) |
| coq.inria.fr | |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.