ITADN · 发现全球开源项目

我的工作台

推荐推荐数据看板看板 Star 榜Star 智能体智能体异构计算异构模型工具链工具链

热门推荐近 7 天

ccodegraphHOT预索引的代码知识图谱，可在代码变更时自动同步，适用于 Claude Code、Codex、Gemini、Cursor、OpenCode、AntiGravity、Kiro 以及 Hermes Agent —— 更少的令牌消耗，更少的工具调用，100% 本地处理 sskillsHOT真正工程师所需技能。直接来自我的 .agents 目录。hhermes-agentHOT与您共同成长的智能代理 ssuperpowers一种行之有效的智能体技能框架与软件开发方法论。oodysseus自托管型 AI 工作空间。EECC该智能体依托性能优化系统，为 Claude Code、Codex、Opencode、Cursor 以及更多产品提供基于技能、直觉、记忆、安全性的开发方式，并坚持以研究为先的发展理念。ttaste-skill品味技能——提升您的人工智能的审美水平，防止其生成无聊且千篇一律的劣质内容。aai-engineering-from-scratch学习它。构建它。为他人发布它。

资讯中心帮助文档联系我们 OpenAPI

数据源 GH Archive + GitHub API
仅收录公开数据

CharlesCNorton/game-trees

代码动态 Issues 合并请求版本

Issues 共 0

该仓库在采样内无 issue

项目介绍

Functions and proofs about game trees in Rocq, implemented as rose trees.

APACHE-2.0Rocq Prover

仓库信息

开源协议APACHE-2.0

创建时间2026-02-27

最近更新14 天前

仓库大小0.6 MB

默认分支main

贡献者2

活跃统计

0

Commits

0

PR

16

事件

语言分布

Rocq Prover Makefile