#coq

GitHub Topic「coq」がついているAI関連リポジトリの集計。Topicはリポジトリ作者が自己申告するメタタグで、AI関連の文脈で何が「coq」と分類されているかを可視化します。

タグ付Repo

TOP1合計★

AIツール痕跡あり

TOP表示数

REPOS #coq のRepo (TOP 1 / Stars降順)

ss1738/proof-carrying-ai

Proof-carrying compliance certificates for AI agent actions: machine-checked (Coq, axiom-free) + zero-knowledge proofs that an agent action obeyed a formal policy.

Python ★ 0 AI 100

RELATED 他のTopicも見る · 全Topicランキング →

集計対象: 各Repoの最新contentスナップショットの topics_json に小文字一致でマッチしたもの。算出方法

#coq

REPOS #coq のRepo (TOP 1 / Stars降順)

RELATED 他のTopicも見る · 全Topicランキング →

#claude-code

#ai-agents

#llm

#claude

#python

#ai

#mcp

#developer-tools

#codex