Download coq (PDF)

coq

Looking for coq Answers? Try Ask4KnowledgeBase
Looking for coq Keywords? Try Ask4Keywords

coqBuscando un hecho existente con Búsqueda y variantes.


Sintaxis

  • Search qualid. (* para Coq 8.4 y versiones más recientes *)
  • SearchAbout qualid. (* sinónimo en desuso. *)

Parámetros

Parámetro Descripción
qualid El identificador o patrón a buscar. Puede implicar notaciones.

Observaciones

Antes de Coq 8.4, la Search tenía el significado del SearchHead actual: solo busque hechos donde el patrón coincida en la conclusión de la declaración.

Buscando un hecho existente con Búsqueda y variantes. Ejemplos relacionados

PDF - Download coq for free


Previous Next
Related Tags
This modified text is an extract of the original Stack Overflow Documentation created by following contributors and released under CC BY-SA 3.0
This website is not affiliated with Stack Overflow