Scalar Pitchfork

Scalar pitchfork bifurcation with a jet-bounded remainder and the topological skeleton of global branches, formalized in Lean 4 with Mathlib.

翻译准备中

教育Lean · ShellGitHub @chenle02在线运营者未确认

访问项目 GitHub

试用过了吗？ 点一下就好，无需登录。

运行状态: 在线; 30 天在线率 100%
最近代码更新: 10月27日; 活跃仓库
最新版本: v0.1.0; 10月20日
贡献者: 1 人; 复刻 0
许可证: GitHub 自动识别 · 先前收集的数据 · 收集于 11月10日
nomorevibe 收录: 11月10日; 仓库创建于 2026年10月

语言构成

Lean 97.1%
Shell 2.9%

更新最近 30 天 1 条

全部

10月20日v0.1.0GitHub 发布版本 ↗

信息

运营者: @chenle02 ↗GitHub 仓库所有者
网站: chenle02.github.io/scalar-pitchfork-lean ↗
仓库: chenle02/scalar-pitchfork-lean ↗公开 · 活跃
网站与仓库: 双方相互链接
分类: 教育
使用方式: 网站
技术栈: Lean
信息更新: 11月10日GitHub

你是此项目的运营者吗？

个人 GitHub 账号下公开仓库的所有者可以登录并验证所有权，自行管理介绍，无需管理员批准。

组织仓库 · 通过仓库文件验证

登录并生成验证文件，在 30 分钟内将其提交到此仓库的默认分支。其他分支或分叉仓库中的文件无效。然后在下方检查文件，即可无需管理员批准直接管理项目。请保留文件以维持管理权限。

如需登录，将前往登录页面。登录后请回到此处，再次点击所选的验证按钮。

在项目文件夹中运行 /nomorevibe verify，即可验证所有权并自行管理介绍。

一分钟完成验证

咨询其他验证方式

请求修改介绍或下架

你是此项目的运营者吗？

个人 GitHub 账号下公开仓库的所有者可以登录并验证所有权，自行管理介绍，无需管理员批准。

组织仓库 · 通过仓库文件验证

如需登录，将前往登录页面。登录后请回到此处，再次点击所选的验证按钮。

在项目文件夹中运行 /nomorevibe verify，即可验证所有权并自行管理介绍。

一分钟完成验证

请求修改介绍或下架

Scalar Pitchfork

语言构成

更新最近 30 天 1 条

评论

Scalar Pitchfork

语言构成

更新最近 30 天 1 条

评论

介绍

README

README

README

Scalar Pitchfork

语言构成

更新最近 30 天 1 条

评论

教育 分类的热门项目

Scalar Pitchfork

语言构成

更新最近 30 天 1 条

评论

教育 分类的热门项目

介绍

README

README

README

教育分类的热门项目

教育分类的热门项目