79 kernel-verified Lean 4 declarations across 15 open Erdos problems, every one with a clean axiom footprint
Lean Updated 2 months ago 1 commits
pulse-dev|Mirror: jaredwilder/erdos-theorems (⭐0)
2 months agoAbout
79 kernel-verified Lean 4 declarations across 15 open Erdos problems, every one with a clean axiom footprint
Readme