ITADN · 发现全球开源项目

首页 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
仅收录公开数据

meta-introspector/erdos-simonovits-degeneracy

代码动态 Issues 合并请求版本

Issues 共 0

该仓库在采样内无 issue

项目介绍

The Erdős–Simonovits degeneracy conjecture fails at every level — complete Lean 4 formalization (Erdős problem #146, every r ≥ 2, with the sharp asymptotic law at Gibbs weight e)

Lean

仓库信息

创建时间2026-08-02

最近更新19 天前

仓库大小0.6 MB

默认分支main

贡献者0

活跃统计

0

Commits

0

PR

0

事件

语言分布

Lean Python