Stream: MetaCoq

Topic: StackExchange on guard condition stuff

view this post on Zulip Karl Palmskog (May 25 2022 at 12:00):

hi MetaCoq devs, just to flag up I think this is a question you might be able answer (and also use to advertise MetaCoq to the proof assistant community):

view this post on Zulip Yannick Forster (May 25 2022 at 12:15):

Thank you Karl, indeed we even have a preliminary implementation of a guard checker in Coq! I answered the question :)

Last updated: Jul 13 2024 at 02:02 UTC