Stream: Coq users

Topic: ✔ Adding a new command to extraction

view this post on Zulip Julin Shaji (Jan 08 2024 at 06:59):

I was able to use ml files from a pre-existing plugin in a new plugin. Sort of followed along after looking at how the plugins in the coq repo were written.

view this post on Zulip Notification Bot (Jan 08 2024 at 06:59):

Julin Shaji has marked this topic as resolved.

Last updated: Jun 13 2024 at 19:02 UTC