Stream: Coq users

Topic: use Gallina string with ltac's fresh

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 13 2024 at 01:02 UTC