Stream: Coq users

Topic: update proof general when updating coq


view this post on Zulip Notification Bot (Jun 28 2022 at 05:33):

This topic was moved to #Proof General users > update proof general when updating coq by Karl Palmskog.


Last updated: Sep 23 2023 at 15:01 UTC