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 でグローバル変数とローカル変数をシミュレートしようとしていますが、開始方法さえわかりません。ヒントやアドバイスをくれる人はいますか? このプログラミング言語に関するドキュメントをたくさん読みましたが、よくわかりません。前もって感謝します！