Stream: Ltac2

Topic: ✔ use Gallina string with ltac's fresh

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