Stream: Coq users

Topic: use Gallina string with ltac's fresh


view this post on Zulip Notification Bot (May 11 2022 at 17:58):

This topic was moved to #Ltac2 > use Gallina string with ltac's fresh by Michael Soegtrop.


Last updated: Oct 04 2023 at 23:01 UTC