>>99
Coqしか使ったことないがAgdaってのがあるんか
そもそも定理証明系ってコーディングがめんどい印象あるがAgdaはCoqより書きやすいんか？
探検
有識者「コンピュータ分野は女性が主軸だったのに男性に奪われた」
■ このスレッドは過去ログ倉庫に格納されています
105それでも動く名無し
2023/04/03(月) 17:35:33.10ID:Xr/NrsLfM■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 兵庫知事買収疑惑、関係先を捜索 捜査当局、公選法違反疑い [夜のけいちゃん★]
- 【渡邊渚さん独占インタビュー】あの雨の日、私の心は殺されました… 入院後に自傷行為「私は2度死んだ」★2 [ネギうどん★]
- 【神奈川】1人で帰宅中の8歳女児に声かけ、性的暴行した疑い 34歳男を逮捕 [煮卵★]
- 八潮道路陥没「復旧に２、3年かかる」より強力な下水の利用自粛求める ★3 [おっさん友の会★]
- キンライサー、フジテレビのCM放送を再開 「CM再開が、未来を信じて努力を続ける方々への励ましの一つとなることを願っております」 ★2 [ひかり★]
- あぼーん
- 【速報】トランプ「ＤｅｅｐＳｅｅｋを解析した結果、隠しコードでシナ政府に情報送信してることが分かった」 [843417429]
- 【石破速報】斎藤元彦、家宅捜索 地検と県警★２ [931948549]
- Chmate、月220円へｗｗｗ石破どうすんのこれ… [357222248]
- 【悲報】斎藤元彦陣営のネット広報担当会社が投稿したnoteで騒然★431 [149081264]
- 女性「私って動物に例えたら何？ｗ」→何が正解なんだよ… [996988668]
- ●お昼のホロライブスレ🌞