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:

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