「数学」をプログラミ ..
[
2ch
|
▼Menu
]
2:デフォルトの名無しさん
24/03/16 20:29:40.05 TBzj9DHS.net
>>1
証明を記述するための言語がある。CoqとかAgdaとか
あと単発質問はスレを立てるまでもない質問スレでどうぞ
次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
54日前に更新/105 KB
担当:undef