Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
記事がありません
1
Anthropic社のPrompt Improverを使ってみた
Anthropic社、開発者コンソールでのプロンプト改善機能(Prompt Improver)を発表
Lean Prover で Cantor の対関数に逆写像があることを示す
Lean Prover コマンド紹介
選択ソートと，それがソートアルゴリズムであることの証明を Lean Prover で実装する
if 式で定義された関数の性質を Lean Prover でどう証明するか
1