Stream: Ltac2

Topic: ✔ use Gallina string with ltac's fresh


view this post on Zulip Notification Bot (May 16 2022 at 08:43):

Philipp G. Haselwarter has marked this topic as resolved.


Last updated: Jan 31 2023 at 09:01 UTC