Karl Palmskog
Karl Palmskog
When I open https://coq-next.vercel.app/wa/scratchpad.html or https://coq-next.vercel.app in Firefox 104 on Ubuntu (snap), and press up and down a randomly a couple of times (on a Require statement) I consistently get...
Please check if the following versions of ALEA contain additional useful code: - https://github.com/EasyCrypt/certicrypt/tree/master/ALEA - https://github.com/hivert/Coq-HookLength/tree/master/ALEA - https://github.com/hivert/Coq-Combi/tree/master/3rdparty/ALEA
This library is currently referenced in the Coq documentation for the reals, so I think it would be nice if it compiled with recent Coq versions. However, it looks like...
Any chance of a GitHub release of this project? This would allow easy packaging in Coq's [OPAM repo](https://github.com/coq/opam-coq-archive) which leads to better exposure/visibility (and hopefully more external contributions).
The [CVC4 GitHub repo](https://github.com/CVC4/CVC4-archived) has been archived, seemingly indicating no new releases of CVC4 are planned, and by extension CVC4 may stop working completely in the future. On the other...
Most users of VsCoq2 are installing the LSP server via opam and may have several different switches with different Coq versions. Hence, it would be useful to (optionally) specify a...
In a context term like ```coq H : forall (l : list A), 0 = length (a :: l) ``` the first occurrence of `l` has a distinct color in...
Hi @Boutry @jnarboux, As discussed on the Coq Zulip, it would be very nice if you could do releases/tags and opam packaging of GeoCoq to enable people to reuse it...