Miscellaneous
| Topic | Replies | Activity |
|---|---|---|
| About the Miscellaneous category | 2 | February 12, 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 |