Beta Ziliani (Aug 26 2020 at 15:08): Beta Ziliani (Aug 26 2020 at 15:08):A tad late, but we finally have a stream dedicated to #Mtac2 . If you have questions about this library for building typed tactics, check it out!
Last updated: Feb 08 2023 at 23:03 UTC