#

kummers-theorem

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 Jul 30, 2026
Lean

Improve this page

Add a description, image, and links to the kummers-theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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