Stream: Coq devs & plugin devs

Topic: What is ne_reference_list

view this post on Zulip Ali Caglayan (Sep 20 2021 at 13:51):

I have ne_reference_list appearing in an mlg file but I have no idea where it is defined. Does anybody know?

view this post on Zulip Gaëtan Gilbert (Sep 20 2021 at 13:54):

it's mlg black magic which means a nonempty list of reference

Last updated: Dec 07 2023 at 14:02 UTC