首页 AIGC 博客文章 GIT库资源下载 C龙虾程序订做联系我们

推荐推荐数据看板看板 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品味技能——提升您的人工智能的审美水平，防止其生成无聊且千篇一律的劣质内容。pponytail让你的 AI 智能体表现得像房间里最懒的资深开发人员。最好的代码，就是那些你从未写过的代码。

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

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

lean-ja/lean-by-example/Issues

めも。mathlib phrasebook

#2425OpenSeasawher 创建于 2026-06-07

S

Seasawhercommented

https://leanprover-community.github.io/mathlib-phrasebook/

0 条评论