-
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって
16683pv 124 36 users 9 -
社内でEmacs vs Vimが起きた
15121pv 70 9 users 9 -
[定理証明支援系] Coqは"コック"で問題ない?
9263pv 16
-
証明図を読み書きできるようになろう!
6571pv 23 2 users 3 -
Proof Summit 2012
5602pv 15 2 users -
ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?
5457pv 53 7 users -
ActionScriptを使わないFlash勉強会 #1 まとめ
5358pv 21 9 users -
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
5177pv 39 4 users 14 -
Coq と実数と停止判定
5057pv 13 2 users 2 -
Proof Summit 2017
4800pv 18 1 -
Coqの話あれこれ
4257pv 5 3 users -
Proof Summit 2011
4004pv 8 -
ML勉強会 #2 #ML_study
3576pv 4 -
ProofCafe 第1回
3441pv 1 3 users -
名古屋Reject会議まとめ
2888pv 10 2 users -
スタートSsreflect
2886pv 6 1 -
ドラゴンパターンマッチの語源と初出
2736pv 12 -
coq などの証明の有効範囲に関する疑問
2427pv 3 -
トップエスイー特別講義、定理証明と検証
2362pv 7 2 users -
Coqチュートリアルへのアドバイスやご指摘
2339pv 6 1 user -
Proof Summit 2018 のまとめです
2214pv 2 -
NII Shonan Summer School on Coq
2204pv 20 3 users 3 -
トップエスイーチュートリアル「Coqで学ぶ定理証明入門」
2037pv 2 users