Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我的 coq 中有一个目标，其中有“&”号。我该如何处理？
我很感激任何帮助。
问候