search

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
19 stars 11 forks source link

Extended Abstract for ITP24's Coq Workshop #17

Closed thomas-lamiaux closed 5 months ago

thomas-lamiaux commented 5 months ago

I have written an extended abstract for ITP24's Coq Workshop. The deadline is the 29th Mai. I would welcome any contributions to it.