2009-03-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
CoqãŒversion 8.1ã‹ã‚‰8.2ã«ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚¢ãƒƒãƒ—ã—ã¾ã—ãŸã€‚変更点ã¯ä»¥ä¸‹ã®ã„ã‚ã„ã‚。 Haskellã®ã‚ˆã†ãª type class system ãŒå°Žå…¥ã•ã‚Œã¾ã—㟠coqcã§ã‚³ãƒ³ãƒ‘イル後ã®voファイル を扱ã†coqchkã¨ã„ã†ãƒ„ールãŒè¿½åŠ ã•ã‚Œã¾ã—㟠Setoidã®ãŸã‚ã®æ›¸ãæ›ãˆã‚¿ã‚¯ãƒ†ã‚£ãƒƒã‚¯ setoi…
