Stream: Ltac2

Topic: ✔ Unexpected indenting of coq terms

Michael Soegtrop (Apr 11 2024 at 06:56):

I created feature request https://github.com/coq/coq/issues/18923.

Notification Bot (Apr 11 2024 at 06:57):

Michael Soegtrop has marked this topic as resolved.

Last updated: Oct 12 2024 at 12:01 UTC