OCamlerã®ããã®Coq便å©ã¢ã¸ã¥ã¼ã«ãå ¬éãã¦ã¿ã
ãã®Baseã¢ã¸ã¥ã¼ã«ãã¤ã³ã¹ãã¼ã«ããã°ãåçã®ç¨ãªã³ã¼ããæ¸ããã¨ãåºæ¥ãã
ãã¦ã³ãã¼ã: http://sourceforge.jp/projects/coqbase/
å ·ä½çã«ã¯ä»¥ä¸ã®ãã¨ãå®ç¾©ããã
- æ¨æºåºåã¸åºåããprint, printlné¢æ°
- å½ä»¤ãã¤ãªããã»ãã³ãã³æ¼ç®å
- ä¾ååã使ã£ãåå®å ¨ãªprintfé¢æ°
- natããOCamlã®intãstringããOCamlã®stringã¸ã®ç¸äºå¤æé¢æ°
- Coqã§ã®boolãsumboolãlistãoptionåããã®ã¾ã¾OCamlã®åã¨ãã¦ä½¿ãããã®é£æº