Miscellaneous


Topic Replies Views Activity
What does « .v » stand for?
2 219 September 14, 2019
Should other languages than English be allowed on the Discourse forum?
47 1208 September 12, 2019
Maintainers of Coquille plugin for Vim - please check the pull requests
5 381 August 28, 2019
Why is η-reduction illegal?
cic
3 225 August 1, 2019
Is "induction" polysemic?
2 291 March 21, 2019
Is Coq able to prove the identity x = x for infinite precision real numbers?
12 741 March 12, 2019
Syntax highlighting on Discourse
4 171 March 4, 2019