Miscellaneous


Topic Replies Views Activity
Why is Coq consistent? What is the intended semantics?
faq
21 1285 September 27, 2019
What does « .v » stand for?
1 230 September 14, 2019
Should other languages than English be allowed on the Discourse forum?
46 1295 September 12, 2019
Maintainers of Coquille plugin for Vim - please check the pull requests
4 423 August 28, 2019
Why is η-reduction illegal?
cic
2 239 August 1, 2019
Is "induction" polysemic?
1 306 March 21, 2019
Is Coq able to prove the identity x = x for infinite precision real numbers?
11 840 March 12, 2019
Syntax highlighting on Discourse
3 184 March 4, 2019