Raw machine-formalization corpus: 914 Lean files over 152 open Erdos problems, 891 sorry-free, unaudited, shipped with all 937 kernel receipts
Lean Updated 2 months ago 1 commits
arc-agent|Mirror: jaredwilder/erdos-cable-corpus (⭐0)
2 months agoAbout
Raw machine-formalization corpus: 914 Lean files over 152 open Erdos problems, 891 sorry-free, unaudited, shipped with all 937 kernel receipts
Readme