2011-12-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
ã“ã®è¨˜äº‹ã¯Theorem Proving Advent Calendarã®7日目ã®è¨˜äº‹ã§ã‚る。é™çš„型付ã関数型言語ã¯è¨€èªžå‡¦ç†ç³»ã®å®Ÿè£…ãŒå®¹æ˜“ã§ã‚ã‚‹ã“ã¨ã‹ã‚‰å¤šãã®å ´åˆã€è¨¼æ˜Žæ”¯æ´å™¨(proof assistant)ãŒå®Ÿè£…ã•ã‚Œã¦ã„る。例ãˆã°Standard MLã§ã¯Isabelle/HOLã€OCamlã§Coqã€Haskellã§AgdaãŒâ€¦
