Miscellaneous


Topic Replies Activity
About the Miscellaneous category 2 February 12, 2019
Why is Coq consistent? What is the intended semantics? 22 September 27, 2019
Proof on normalization of CIC and its consistency 3 September 27, 2019
What does « .v » stand for? 2 September 14, 2019
Should other languages than English be allowed on the Discourse forum? 47 September 12, 2019
Maintainers of Coquille plugin for Vim - please check the pull requests 5 August 28, 2019
Why is η-reduction illegal? 3 August 1, 2019
High assurance / high code complexity use of Coq 16 April 1, 2019
Is "induction" polysemic? 2 March 21, 2019
Is Coq able to prove the identity x = x for infinite precision real numbers? 12 March 12, 2019
Syntax highlighting on Discourse 4 March 4, 2019