How to do Math in programmingat TECH
How to do Math in programming - 暇つぶし2ch3:デフォルトの名無しさん
24/03/21 11:56:07.97 etpddAIY.net
Theorem Proving in Lean 4　日本語訳
URLﾘﾝｸ(aconite-ac.github.io)
定理証明なら、今はCoqよりこっちなんかな

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch