Stream: Coq users

Topic: Mtac2 stream

view this post on Zulip 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: Jun 24 2024 at 12:02 UTC