Miscellaneous


Topic Replies Activity
About the Miscellaneous category 2 February 12, 2019
Why is Coq consistent? What is the intended semantics? 20 August 23, 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
Should other languages than English be allowed on the Discourse forum? 46 March 13, 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