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 14 2024 at 19:02 UTC