誰も書ã‹ãªã„Coq入門以å‰ã®è©± - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)「Windowsã¸ã®Coqã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã€ï¼š 事情ãŒã‚ã£ã¦ã€Agdaã‹Coqを触ã£ã¦ã¿ã‚ˆã†ã‹ã€ã¨ã€‚ 事情ã¨ã„ã†ã®ã¯ã€å€‹ã€…ã®å‘½é¡Œã®è¨¼æ˜Žï¼ˆç¢ºèªï¼‰ã¯å‰²ã¨ç°¡å˜ãã†ã ãŒã€å‘½é¡ŒãŒã‚¤ãƒƒãƒ‘イã‚ã‚‹ã®ã§ã‚¦ãƒ³ã‚¶ãƒªãªçŠ¶æ³ã®ã“ã¨ã§ã™ã€‚家計簿ã®è¨ˆç®—ãŒç†ç®—ã ã¨é¢å€’ã ã‹ã‚‰é›»å“を使ã„ãŸã„ã€ã¨ã„ã†çŠ¶æ³ã¨åŒæ§˜ã§ã™ã€‚ ãã‚Œã§Coqã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã¯æ¸ˆã‚“ã ã®ã§ã™ãŒã€å‡¦ç†ç³»ã®ä½¿ã„æ–¹ãŒåˆ†ã‹ã‚‰ãªã„。個々ã®æ“作ã¯è¦šãˆã¦ã„ã‘ã°ã„ã„ã®ã§ã—ょã†ãŒã€ãã‚‚ãã‚‚Coq処ç†ç³»ãŒä½•ã‚’ã™ã‚‹ã‚‚ã®ãªã®ã‹ï¼Ÿ ãŒç†è§£ã§ããªã„ã®ã§ã™ã€‚Web上ã«Coqã®è§£èª¬ã¯å¹¾ã¤ã‚‚ã‚ã‚‹ã®ã§ã™ãŒã€ã€Œã„ã‚„ã„ã‚„ã€ãã†ã˜ã‚ƒãªãã¦ã€ãれ以å‰ã®ã“ã¨ãŒã‚µãƒƒãƒ‘リã‚ã‹ã‚‰ã‚“ã®ã§ã™ã‘ã©ã€ã¨ã„ã†æ„Ÿã˜ã€‚スタートラインã«ç«‹ã¦ãªã„。 ãã‚Œã§ã€ã€ŒCoqã®è§£èª¬ã€ã˜ã‚ƒãªãã¦ã€ŒCoqã®ä»•æ§˜ã€ã‚’èªã‚“ã ã»ã†ãŒã„ã„ã®ã‹ã‚‚ã€ã¨ https://coq.inria.fr/distrib/current/refman/ （リファレンス
{{#tags}}- {{label}}
{{/tags}}