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
722 workflow runs
722 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(scripts/extract_names): add warning for missing docstrings (#3597) Notify erdosproblems of update #722: Commit 61514f4 pushed by Paul-Lez
7s main
main
7s
feat(Wikipedia): add Ramsey numbers (R(5,5)) (#2436) Notify erdosproblems of update #721: Commit 37e09f4 pushed by mo271
6s main
main
6s
feat(Papers): Add Monochromatic Quantum Graph conjectures (#2385) Notify erdosproblems of update #720: Commit 4eb063b pushed by Paul-Lez
10s main
main
10s
feat(ErdosProblems/342) (#3438) Notify erdosproblems of update #719: Commit ed2bf7d pushed by mo271
8s main
main
8s
docs: add note on long proof policy (#3562) Notify erdosproblems of update #718: Commit e799a49 pushed by mo271
7s main
main
7s
feat(Wikipedia): Flint-Hills and Cookson-Hills series convergence con… Notify erdosproblems of update #717: Commit 8b06b73 pushed by mo271
7s main
main
7s
feat(Wikipedia): Taxicab(5, 2, n) for n > 1 (#2333) Notify erdosproblems of update #716: Commit 5438435 pushed by mo271
6s main
main
6s
fix: only replace dots outside guillemets (#3583) Notify erdosproblems of update #715: Commit 39f4de8 pushed by mo271
7s main
main
7s
feat(Wikipedia): Amicable Numbers Conjectures (#3531) Notify erdosproblems of update #714: Commit 1f7d362 pushed by mo271
7s main
main
7s
fix(Util): support for non-sorry term in answer elaborator aux mode (… Notify erdosproblems of update #713: Commit c33a914 pushed by Paul-Lez
7s main
main
7s
fix(ErdosProblems/978): require k > 3 (#3408) Notify erdosproblems of update #712: Commit d5a8b66 pushed by mo271
9s main
main
9s
feat(ErdosProblems): 184 (#2287) Notify erdosproblems of update #711: Commit cba707c pushed by mo271
5s main
main
5s
feat(ErdosProblems): 445 (#2429) Notify erdosproblems of update #710: Commit 1f17ae8 pushed by mo271
6s main
main
6s
feat(ErdosProblems): Update formalization status of 204 (#3580) Notify erdosproblems of update #709: Commit 164200e pushed by mo271
6s main
main
6s
feat(Wikipedia): Conjecture on Diameter of non-abelian finite Simple … Notify erdosproblems of update #708: Commit f18d77c pushed by mo271
6s main
main
6s
feat(ErdosProblems): 18 (#1952) Notify erdosproblems of update #707: Commit e41ae53 pushed by mo271
7s main
main
7s
feat(CI): handle multi-part Erdős problems in status check (#2327) Notify erdosproblems of update #706: Commit 90a5cea pushed by mo271
7s main
main
7s
feat(ErdosProblems): 323 (#2359) Notify erdosproblems of update #705: Commit 4aba381 pushed by mo271
6s main
main
6s
feat(Wikipedia): Moving sofa problem (#2160) Notify erdosproblems of update #704: Commit e5c0f45 pushed by mo271
6s main
main
6s
feat(Wikipedia): add cleaned up formal proof of `Invariant_subspace_p… Notify erdosproblems of update #703: Commit 2a4e629 pushed by Paul-Lez
7s main
main
7s
feat: elaboration options for answer(sorry) (#3512) Notify erdosproblems of update #702: Commit c0359d7 pushed by Paul-Lez
7s main
main
7s
Made the design response (#3566) Notify erdosproblems of update #701: Commit 37ef177 pushed by mo271
5s main
main
5s
chore(deps): bump esbuild and wrangler in /site/worker (#3563) Notify erdosproblems of update #700: Commit 26dc505 pushed by mo271
6s main
main
6s
fix(ErdosProblems/158): put everything into namespace (#3564) Notify erdosproblems of update #699: Commit 6358af4 pushed by mo271
6s main
main
6s
fix(website): correct json loading (#3565) Notify erdosproblems of update #698: Commit bab2bdb pushed by mo271
6s main
main
6s