証明付きバイブコーディングで証明支援系を作った - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事は株式会社proof ninjaの助成を受けて書いています． TL;DR Codexバイブコーディングで証明支援系を作った．その際，論理のコアの部分はRocq(旧Coq)で実装させ，「この自...

証明付きバイブコーディングで証明支援系を作った - Qiita

この記事のキーワード

同じキーワードの記事

BigQuery × AI で 300 万円溶かそう - Qiita

「作って終わり」のAIエージェントは死ぬ - Qiita

【インシデント報告】Defender が有効なのに、開発機で5日間マイニングされていた - Qiita

技術力より先に、信頼を積む人がやっている地味な行動 - Qiita

パスキーはなぜ「盗まれても意味がない」と言えるのか — 公開鍵暗号方式で理解する新しい認証 - Qiita

15年前の『アジャイルサムライ』、AI時代に古びたのは"作るコスト"の教えだけだった - Qiita

Git 2.55 の git history fixup で「過去のコミットへの入れ忘れ」を一発修正する - Qiita

Claude Codeは「コードを書くAI」で終わらせるな：公式 document-skills でPDF・Excel・Word・PowerPointまで自動化する - Qiita

AIセキュリティ何から勉強すりゃええの？ - Qiita

バイブコーディングで本当にアプリはリリースできるのか？エンジニアが実際にアプリをリリースして感じたこと - Qiita

Claude Code／Codexに中～大規模開発を任せるためのタスク管理 - Qiita

Claude Code・Codex用に、超爆速で超安全なサンドボックスを作る方法 - Qiita

AIっぽくない画像を作る画風プロンプト38種類＋テンプレート - Qiita

CLAUDE.mdをそろそろ見直す時期かも ── Claude 5世代向けの最適化手順・スキル・プロジェクト種類別の例 - Qiita

Power AutomateとPower Appsを活用し、セキュリティ担当者の月次確認業務を50％削減！ - Qiita

ベテランエンジニアのPRレビュー187件を分類してみたら、バグは5件に1件しか指摘されていなかった - Qiita

※この記事は人の手で書かれています - Qiita

【ローカルLLM】国産LLM「LLM-jp-4-33B」と「Qwen3.8-27B」の推論性能比較（RTX 5070 Ti + RTX 3070 Ti） - Qiita

オントロジー × グラフ × LLM の実装と評価（基礎編） - Qiita

新人AI禁止のあと、「新人AI制御教育ハーネス」を配った結果（Skill原文あり） - Qiita