Karl Palmskog (Dec 04 2022 at 21:52): Karl Palmskog (Dec 04 2022 at 21:52):I count 9 out of 25 accepted CPP 2023 papers using Coq: https://popl23.sigplan.org/home/CPP-2023#event-overview
Would be interesting to check how many artifacts will work with a Coq version + package collection in the latest Platform release.
Last updated: Jun 03 2023 at 05:01 UTC