Stream: Coq users

Topic: ITP

view this post on Zulip Bas Spitters (Jan 20 2022 at 10:25):

I am in the PC here, please let me know if you have any questions. I would be nice to have many Coq submissions this year.
Abstract: Feb 1
Paper deadline: Feb 8

Last updated: Jun 14 2024 at 19:02 UTC