Théo Zimmermann
Théo Zimmermann
The [Coq Community Survey 2022](https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730) contained the question "Are there any features of Company-Coq that you find distracting or that you manually disable? Which ones?". Here are the answers to...
Hi, I had been wanting to have a way to extract a lemma during a proof for quite some time so I was delighted to hear that you provide this...
I've written a GraphQL request which uses several times the same fragment through different fragments (see the code below and https://github.com/coq/bot/blob/bc65314888df8e8c6c8bad55624f9492a36a1e78/bot-components/GitHub_GraphQL.ml#L30-L47 for the full context). ```graphql fragment Column on ProjectColumn...
The [Coq Community Survey 2022](https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730) included some questions on IDEs. 40 people have checked the "jsCoq" box in the question "Which editors or IDEs have you used for Coq?". Of...
We had a discussion with @CohenCyril about a month ago, and I said I would summarize our discussion in an issue. I've shared my notes with @palmskog already, and in...
@amahboubi @gares I'm currently at a one-week long computational math free software workshop and after introducing myself as a Coq developer I had a person come to me to ask...
Every time I type a space at the beginning of a new sentence (in my case it happens when indenting, i.e. at the beginning of a proof, or of a...
The [Coq Community Survey 2022](https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730) included some questions on IDEs. 40 respondents have said they have used Vim or variants for Coq, of which 28 have said they have used...
**Quick Summary:** message triggered by `elm install elm/json` on a freshly created elm-spa application. ## SSCCE ``` elm-spa init # Accept default values cd my-elm-spa elm install elm/json # Accept...
Not pinning package versions results in non-expert users accidentally changing their version of Coq.
I have two distinct researchers that have told me that they used Coq Platform to install Coq but ended up with an unexpected version of Coq in their Platform switch....