History / Syntax and Notations

Edit page New page

Revisions

update FAQ url

SkySkimmer committed Mar 28, 2025

dc1ea1f
Link back to the Coq FAQ main page.

Zimmi48 committed Apr 23, 2018

655fc0f
Move a FAQ notation question to its right place.

Zimmi48 committed Apr 23, 2018

ed715c5
Updated Syntax and Notations (markdown)

mattjquinn committed Dec 10, 2017

d3c938a
Created Syntax and Notations (markdown)

mattjquinn committed Dec 10, 2017

99c2028