我才刚刚开始学习coq，我基本上是从教授在课堂上显示的内容复制了代码（？），但从未在我的笔记本电脑上工作！ 我不知道为什么它一直告诉我在当前环境中找不到参考y。 而且我的coqIDE中只有两个句子（？）：
Require Export Utf8.
Notation "x->y" :=(x->y)(at level 99).
我读过一些网页问类似的问题，但我认为我们没有同样的问题。如果我错了，对此表示抱歉。 另外，您能告诉我“ Utf8”和“ 99级”是什么意思吗？
我知道这些是愚蠢的问题，但我只是不明白。 谢谢您的关注：）