-
Proof Summit 2018 のまとめです
2210pv 2
-
Proof Summit 2017
4794pv 18 1 -
ML勉強会 #2 #ML_study
3572pv 4 -
Proof Summit 2016
1949pv 6 1 user -
CoqでModuleをまるごと仮定するVariableみたいなの
1263pv 4 -
ドラゴンパターンマッチの語源と初出
2734pv 12 -
証明図を読み書きできるようになろう!
6542pv 23 2 users 3 -
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
5167pv 39 4 users 14 -
NII Shonan Summer School on Coq
2202pv 20 3 users 3 -
スタートSsreflect
2884pv 6 1 -
ふぇぇ
1850pv 8 -
Coq'Art読書会 #0 #readcoqart まとめ
1463pv 8 1 user -
社内でEmacs vs Vimが起きた
15109pv 70 9 users 9 -
[定理証明支援系] Coqは"コック"で問題ない?
9224pv 16 -
Proof Summit 2012
5586pv 15 2 users -
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって
16673pv 124 36 users 9 -
Coq と実数と停止判定
5045pv 13 2 users 2 -
トップエスイー特別講義、定理証明と検証
2360pv 7 2 users -
coq などの証明の有効範囲に関する疑問
2425pv 3 -
Proof Summit 2011
4001pv 8 -
トップエスイーチュートリアル「Coqで学ぶ定理証明入門」
2036pv 2 users -
Coqチュートリアルへのアドバイスやご指摘
2336pv 6 1 user -
ActionScriptを使わないFlash勉強会 #1 まとめ
5325pv 21 9 users