ãã°ã®ç¡ãããã°ã©ã ãä½ããã¨ã¯å¯è½ã§ããï¼ åæ¢æ§åé¡ããããã°ã®ãªãããã°ã©ã ã¯åå¨ããªããï¼ãããã¯ãããã°ã©ã ã«ãã°ã®ç¡ããã¨ã¯è¨¼æã§ããªããï¼ã¨è¯ãè¨ããã¾ããã Coqã«ãã証æé§åéçº http://d.hatena.ne.jp/mzp/20110228/ruby ã§ã¯ããã°ã©ã ã証æã§ããã¿ããã§ãããããã¯åé ã®ï¼æãå¯è½ã¨ãããã¨ã§ããããï¼ ãã¨ã ãã«ãªã¼ï½¥ãã¯ã¼ãåå対å¿ã ã«ã¤ãã¦æãã¦ä¸ããã
{{#tags}}- {{label}}
{{/tags}}