We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Fixed broken links
update FAQ url
Updating some questions
Move the impredicative Set stuff to its own page.
Updated The Logic of Coq (markdown)
Link back to the Coq FAQ main page.
Moving a FAQ question on singleton elimination to its right place.
put here axioms.fig (the sources of FAQ's axioms.jpg)
Import axiom image (in the FAQ).
Quote an unquoted usage of Type
Created The Logic of Coq (markdown)