I am new to Mathematical Logic.
I am trying to teach myself the Coq proof-assistant from these course notes and some of the inference rules ('tactics') are as follows:
What does '?' mean in this table ?
I have tried looking in Wikipedia at some examples of this notation, here for example, but I don't see '?' anywhere.