Skip to content

Actions: google-deepmind/formal-conjectures

Actions

Notify erdosproblems of update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_erdosproblems.yml
806 workflow runs
806 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: modulize the Util directory (#3743) Notify erdosproblems of update #806: Commit 42bece6 pushed by eric-wieser
8s main
main
8s
feat(Mathoverflow/10799): Kahn-Kalai conjecture (#3706) Notify erdosproblems of update #805: Commit 76483f6 pushed by mo271
7s main
main
7s
feat(GreensOpenProblems): 33 (#3613) Notify erdosproblems of update #804: Commit 6128e5e pushed by mo271
9s main
main
9s
feat(Wikipedia/WolstenholmePrime): two proofs (#3710) Notify erdosproblems of update #803: Commit 6464cb4 pushed by mo271
10s main
main
10s
fix(ErdosProblems/397): update formal proof references (#3729) Notify erdosproblems of update #802: Commit 02fbcc3 pushed by mo271
8s main
main
8s
Archive Lean proof for previously solved problem erdos_1074.variants.… Notify erdosproblems of update #801: Commit f402284 pushed by mo271
8s main
main
8s
fix(ErdosProblems/379): update formal proof reference (#3728) Notify erdosproblems of update #800: Commit 3486407 pushed by mo271
8s main
main
8s
Update totalCount calculation in build.js (#3727) Notify erdosproblems of update #799: Commit 806d579 pushed by mo271
9s main
main
9s
Erdős 350: distinct subset sums reciprocal bound (#3725) Notify erdosproblems of update #798: Commit f66fc88 pushed by mo271
7s main
main
7s
Erdős 397: central binomial product identity (#3720) Notify erdosproblems of update #797: Commit d394880 pushed by mo271
7s main
main
7s
Erdős 379: limsup S(n) = ∞ (#3722) Notify erdosproblems of update #796: Commit f30f170 pushed by mo271
8s main
main
8s
Prove sum-distinct bound (Erdős 1) and factorial practicality (Erdős … Notify erdosproblems of update #795: Commit b643889 pushed by mo271
6s main
main
6s
Erdős 198: Sidon set intersects every infinite AP (#3721) Notify erdosproblems of update #794: Commit 4618e5a pushed by mo271
8s main
main
8s
Erdős 1043: monic polynomial level set projection (#3723) Notify erdosproblems of update #793: Commit d63a25e pushed by mo271
7s main
main
7s
Prove W(1) = 1 and W(2) = 3 (Erdős 138) (#3636) Notify erdosproblems of update #792: Commit f481e26 pushed by mo271
9s main
main
9s
feat(ErdosProblems): prove Erdős 370 (#3724) Notify erdosproblems of update #791: Commit aed9e55 pushed by mo271
8s main
main
8s
Updated Dickson's conjecture references and wording (#3655) Notify erdosproblems of update #790: Commit ddf9296 pushed by mo271
8s main
main
8s
feat(Books/UniformDistribution): add one to Equidistribution.lean (#3… Notify erdosproblems of update #789: Commit ba88589 pushed by mo271
6s main
main
6s
feat(OpenQuantumProblems): add OQP 23 on SIC-POVMs (part1) (#3694) Notify erdosproblems of update #788: Commit 20ec7ee pushed by Paul-Lez
5s main
main
5s
Prove OEIS 56777/358684 and Selfridge pseudoprime tests (#3639) Notify erdosproblems of update #787: Commit 729cf6c pushed by mo271
8s main
main
8s
feat(Website): Total Problems Renaming (#3718) Notify erdosproblems of update #786: Commit 514ed17 pushed by mo271
7s main
main
7s
Notify erdosproblems of update Notify erdosproblems of update #785: by mo271
6s main
main
6s
Prove g_k positivity (Erdős 400) and 6563 bound (Erdős 1148) (#3637) Notify erdosproblems of update #784: Commit d4fb2b5 pushed by mo271
6s main
main
6s
fix(ErdosProblems): 1068 (#3642) Notify erdosproblems of update #783: Commit 5fde8ec pushed by mo271
6s main
main
6s
Prove 3 perfect difference set theorems (Erdős 707) (#3633) Notify erdosproblems of update #782: Commit abe2b05 pushed by mo271
8s main
main
8s