Scalar Pitchfork

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

EducationLean · ShellGitHub @chenle02OnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 27; Active repository
Latest version: v0.1.0; Oct 20
Contributors: 1; Forks 0
License: GitHub auto-detection · Previous observation · Collected Nov 10
Listed on nomorevibe: Nov 10; Repository created October 2026

Languages

Lean 97.1%
Shell 2.9%

Updates1 in the last 30 days

All

Oct 20v0.1.0GitHub release ↗

Comments

Newest first

···

GitHub issue delivery settings

Checking sign-in status.

Loading comments.

Information

Operator: @chenle02 ↗GitHub repository owner
Website: chenle02.github.io/scalar-pitchfork-lean ↗
Repository: chenle02/scalar-pitchfork-lean ↗Public · Active
Site and repository: They link to each other
Category: Education
Access: Website
Technology stack: Lean
Information refreshed: Nov 10GitHub

Do you operate this project?

Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.

Organization repository · verify with a repository file

Sign in, generate a verification file, and commit it to this repository’s default branch within 30 minutes. Files on other branches or forks do not count. Then check the file below to manage the project without administrator approval. Keep the file to retain your access.

If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.

Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.

Verify in one minute

Ask about other verification options

Request an introduction correction or removal

Do you operate this project?

Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.

Organization repository · verify with a repository file

If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.

Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.

Verify in one minute

Request an introduction correction or removal

Scalar Pitchfork

Languages

Updates1 in the last 30 days

Comments

Scalar Pitchfork

Languages

Updates1 in the last 30 days

Comments

Introduction

README

README

README

Scalar Pitchfork

Languages

Updates1 in the last 30 days

Comments

Trending in Education

Scalar Pitchfork

Languages

Updates1 in the last 30 days

Comments

Trending in Education

Introduction

README

README

README