Stream: Coq users

Topic: ✔ admit until later

Notification Bot (Aug 31 2022 at 15:48):

James Wood has marked this topic as resolved.

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