Stream: Ltac2

Topic: Ltac2 learning resources


view this post on Zulip Patrick Nicodemus (Oct 06 2022 at 21:25):

Where is a good place to learn Ltac2?
I wish there were more examples in the Coq documentation

view this post on Zulip Notification Bot (Oct 06 2022 at 21:33):

This topic was moved here from #Coq users > Ltac2 learning resources by Karl Palmskog.

view this post on Zulip Karl Palmskog (Oct 06 2022 at 21:34):

this was mentioned in a similar thread: https://github.com/coq/coq/tree/master/test-suite/ltac2

view this post on Zulip Patrick Nicodemus (Oct 07 2022 at 15:17):

Thank you!

view this post on Zulip Alexander Gryzlov (Oct 11 2022 at 21:16):

There's also https://github.com/tchajed/ltac2-tutorial, not sure how up-to-date it is though


Last updated: Jan 31 2023 at 11:01 UTC