Patrick Nicodemus (Oct 06 2022 at 21:25): 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
Notification Bot (Oct 06 2022 at 21:33):This topic was moved here from #Coq users > Ltac2 learning resources by Karl Palmskog.
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
Patrick Nicodemus (Oct 07 2022 at 15:17):Thank you!
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: Oct 12 2024 at 13:01 UTC