Skip to content
#

proof-by-contradiction

Star

Here are 8 public repositories matching this topic...

Language: All
Filter by language
All 8 Lean 7 PHP 1

AEjonanonymous / Riemann-Minimal-Entropy-Collapse

Star 2

A Topological Proof by Contradiction of Non-Trivial Zeros via Spectral Rigidity in Lean 4 & Comparator.

topology geometry formal-verification comparator stereographic-projection mathlib riemann-hypothesis analytic-number-theory lean4 non-trivial-zeros proof-by-contradiction spectral-theory ai-assisted-research self-adjoint-operators millennium-prize-problem topological-equivalence projective-real-line minimal-geometric-entropy spectral-rigidity
  • Updated Oct 8, 2026
  • Lean

AEjonanonymous / Vizings-Conjecture

Star 1

A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent

research mathematics graph-theory formal-methods combinatorics formal-verification comparator interactive-theorem-proving cartesian-product boundary-analysis mathlib academic-research lean4 proof-by-contradiction conjecture-solving ai-augmented-research integral-gap-analysis vizings-conjecture minimal-counterexample fractional-domination
  • Updated Oct 6, 2026
  • Lean

AEjonanonymous / Jacobian-Conjecture-2D

Star 1

Formal Resolution of the Two-Dimensional Jacobian Conjecture in Lean 4 via Graded Differential Operators.

research mathematics algebraic-geometry formal-verification interactive-theorem-proving commutative-algebra formal-proofs mathlib differential-algebra lean4 differential-operators formalized-mathematics homogeneous-polynomials proof-by-contradiction jacobian-conjecture ai-augmented-research polynomial-automorphisms affine-algebraic-geometry
  • Updated Sep 17, 2026
  • Lean

Add this topic to your repo

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

Learn more