Stream: Coq users

Topic: ✔ admit until later


view this post on Zulip Notification Bot (Aug 31 2022 at 15:48):

James Wood has marked this topic as resolved.

view this post on Zulip Pierre Courtieu (Sep 07 2022 at 10:03):

You can have a look at https://github.com/Armael/coq-procrastination.


Last updated: Feb 04 2023 at 21:02 UTC