#

prime-core-decomposition

Here is 1 public repository matching this topic...

AEjonanonymous / Singmasters-Conjecture

Bounding Singmaster's Conjecture via Constructive Type Transformation in Lean 4.

research math mathematics combinatorics formal-verification pascals-triangle number-theory formal-proofs mathlib computational-number-theory binomial-coefficient lean4 conjecture-solving ai-augmented-research singmasters-conjecture prime-core-decomposition kummers-theorem legendres-identity hermites-floor-expansion

Updated Aug 25, 2026
Lean

Add this topic to your repo

To associate your repository with the prime-core-decomposition topic, visit your repo's landing page and select "manage topics."