Andres Erbsen

https://github.com/mit-plv/bedrock2/actions/runs/3352143850/jobs/5554084845 self-cancelled on submit

https://github.com/mit-plv/bedrock2/actions/runs/3390987808/jobs/5635703710 self-cancelled on submit

`gcc: fatal error: no input files` https://github.com/mit-plv/fiat-crypto/actions/runs/3420869283/jobs/5696244304#step:17:453

So in principle we can drop support for coq

The fix Sam proposed and implemented has been working out decently.

reimplemented in ltac2

Thank you for the contribution. Apologies that this PR has been neglected for so long. I agree that DecidableClass.v should not depend on QArith, String, or Ascii. (IMO it also...

Additional candidates for consolidation are the utility libraries of Fiat Cryptography and Bedrock2. There is an issue about consolidating them with each other [here](https://github.com/mit-plv/coqutil/issues/55). Both projects are on Coq CI...

@spitters I am not sure which parts of coqutil would be a good fit for coqprime, but I am looking to contribute substantially overlapping functionality to the standard library. The...

Here is an idea of mine, loosely based on the corresponding Qt Quick interface. ``` type MenuItem struct { // this would be in package ui Name string Image image.Image...