Looking for coq Keywords? Try Ask4Keywords

coqTaktiken verwenden


Einführung

In diesem Abschnitt finden Sie Informationen zur Verwendung verschiedener Coq-Taktiken und -Techniken (Fallanalyse, Induktionsnachweis, Auto usw.), um Theoreme zu beweisen.

Taktiken verwenden Verwandte Beispiele