2010-08-29から1日間の記事一覧
http://atnd.org/events/6022 - ATND 初めてのCoq(yoshihiro503) 高階論理(表現力は最強) 自動証明機能(tactic)を備える プログラムと連携 仕様が証明された状態ではなく,証明されたプログラムを書くことができる tactic(小文字〜.) - Gallina式 - Vernacul…
http://atnd.org/events/6022 - ATND 初めてのCoq(yoshihiro503) 高階論理(表現力は最強) 自動証明機能(tactic)を備える プログラムと連携 仕様が証明された状態ではなく,証明されたプログラムを書くことができる tactic(小文字〜.) - Gallina式 - Vernacul…