Updating some questions

herbelin committed Apr 14, 2024

Move the impredicative Set stuff to its own page.

ppedrot committed Jul 12, 2019

Updated The Logic of Coq (markdown)

soraros committed May 12, 2019

Updated The Logic of Coq (markdown)

soraros committed May 12, 2019

Updated The Logic of Coq (markdown)

kcrary committed Mar 7, 2019

Link back to the Coq FAQ main page.

Zimmi48 committed Apr 23, 2018

Moving a FAQ question on singleton elimination to its right place.

Zimmi48 committed Apr 23, 2018

put here axioms.fig (the sources of FAQ's axioms.jpg)

letouzey committed Dec 15, 2017

Updated The Logic of Coq (markdown)

Zimmi48 committed Dec 10, 2017

Import axiom image (in the FAQ).

Zimmi48 committed Dec 10, 2017

Quote an unquoted usage of Type

JasonGross committed Dec 10, 2017

Updated The Logic of Coq (markdown)

mattjquinn committed Dec 10, 2017

Updated The Logic of Coq (markdown)

mattjquinn committed Dec 10, 2017

Updated The Logic of Coq (markdown)

mattjquinn committed Dec 10, 2017

Created The Logic of Coq (markdown)

mattjquinn committed Dec 10, 2017