mathematical-proof

A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proofs. Integrates Codex MCP for adversarial cross-review. Venue-audited reference library across statistics/econometrics/ML theory.

plain math functions

Official project page for From Competition Problems to Mathematical Proof, a free 637-page olympiad mathematics textbook by Parsa Fatehi. Includes the Zenodo DOI, errata, reviews, and reader feedback.

Axiomatic ARE-Logic with Plexity Logical Ecosystem Science Framework

A comprehensive Coq formalization of the Collatz conjecture with a combinatorial analysis framework. Proves linear division advantage.

Learn Lean (Math-Proving Based Programming Language) for mathematical proving.

AI-generated solutions to two research-level math problems from the First Proof community experiment: a Yang-Mills gauge-fixing heat-flow estimate on the 2-torus, and sharp fatness of geodesic triangles in sparse random graphs. Produced autonomously in Claude Code, offered for human validation.

Primitives Become Lean4 Inductive Types | Lattice Operations Become Machine-Verified Theorems | Structural Claims About Mathematics Become Decidable Propositions

Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.

Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.

Independent mechanical re-verification of Robertson-Sanders-Seymour-Thomas 1997 Four Color Theorem: 633 configurations reducible + 5 presents verified on Windows/MSYS2, with LLM audit and rules-minimization experiments.

Implementasi forward pass Multi-Layer Perceptron (MLP) 1 hidden layer dari nol menggunakan numpy murni (tanpa framework deep learning).

Machine-verified in Lean 4: the Binary Snap (⊥ → ε₀) is a theorem, not an axiom, and it holds independently across algebra, topology, information theory, functional analysis, set theory, category theory, and computability. A formal ontology of the bottom element ⊥.

Prime Power Transformer: A Number-Theoretic Architecture for Compute

machine-verified proofs for euler's theorem and touchard's congruence

ProofCore is a browser-native, 100% offline-first, hybrid mathematical proof verification engine. It combines rigorous symbolic math with semantic understanding to reliably verify mathematical proofs, offering zero external dependencies and production-ready quality

A disorganized collection of mathematical proofs.

Exact rational certificates for a candidate conditional metric-TSP 4/3 n+7 support theorem on the subtour-elimination polytope; external review requested.

An attempt at pushing Riemann Hypothesis proof further, that uses novel techniques and came up with a new formula for generating prime numbers that kind of works. See the Extended_RH_Spectral_Flow.pdf file

Theorem 5: Pure attention has a strict rank barrier that depth cannot overcome; only FFN width increases representational rank. Verified via SVD.