-
Notifications
You must be signed in to change notification settings - Fork 426
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#5164 In google-deepmind/formal-conjectures;
- Status: Open.#5163 In google-deepmind/formal-conjectures;
- Status: Open.#5162 In google-deepmind/formal-conjectures;
- Status: Open.#5161 In google-deepmind/formal-conjectures;
- Status: Open.#5160 In google-deepmind/formal-conjectures;
- Status: Open.#5158 In google-deepmind/formal-conjectures;
- Status: Open.#5157 In google-deepmind/formal-conjectures;
Formalize the perfect-play value of chess
new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#5154 In google-deepmind/formal-conjectures;- Status: Open.#5152 In google-deepmind/formal-conjectures;
Erdős Problem 1128: status mismatch (repo=solved, erdosproblems.com=formally solved)
formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be portedStatus: Open.#5151 In google-deepmind/formal-conjectures;Erdős Problem 1096: status mismatch (repo=solved, erdosproblems.com=formally solved)
formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be portedStatus: Open.#5150 In google-deepmind/formal-conjectures;Erdős Problem 1077: status mismatch (repo=solved, erdosproblems.com=formally solved)
formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be portedStatus: Open.#5149 In google-deepmind/formal-conjectures;
