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: Oct 21 2021 at 20:02 UTC