Bas Spitters
Bas Spitters
Great! @palmskog FYI
@womeier do you still need 8.16 ?
@raoxiaojia with https://github.com/WasmCert/WasmCert-Coq/pull/31 merged, what are your plans going forward, would moving to coq-community be advantageous?
Yes, I'll be there. Let's try and meet. The abstract is here: https://www.cl.cam.ac.uk/~jp622/certicoq-wasm.pdf
@raoxiaojia it was nice to meet in London. What do you think about this one? (One or more of: Platform, Coq CI, coq-community, ... ) By keeping the Coq devs...
Not sure whether this is the same issue, but sometimes this can be solved using quotients. I've tried to look for a connection between setoids and mc quotients, but couldn't...
My students ran into the same problem. The output of Sample in vscode is in the Info tab (pulldown menu) of the output window. I believe this is due to...
@maximedenes is this still relevant, or should we close it?
Corn: https://github.com/coq-community/corn/tree/master/stdlib_omissions Extructures and finmap: https://github.com/coq/platform/issues/61#issuecomment-760712482 Coq word: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/unsigned.20integer.20library.20using.20Cyclic.3F
@andres-erbsen What is the status of https://github.com/mit-plv/coqutil/ ? It does not seem to come with opam files. Would it be worth including it in platform? Or should it be refactored?...