Stream: Coq Platform devs & users

Topic: Platform impact


view this post on Zulip 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: Jan 30 2023 at 11:03 UTC