coq-tactic 相关问题


在 Coq 中,证明解决数独或 Takuzu 等难题的函数的正确性的步骤是什么?

证明解决谜题的函数(例如数独或卓祖)的正确性的一般步骤是什么?


© www.soinside.com 2019 - 2024. All rights reserved.