-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[submission] Lean Pool dependency smoke test (two_plus_two)
submissionA benchmark solution submission; triggers the evaluation workflowA benchmark solution submission; triggers the evaluation workflowStatus: Open.#1899 In leanprover/lean-eval-submissions;[submission] H-space spheres
submissionA benchmark solution submission; triggers the evaluation workflowA benchmark solution submission; triggers the evaluation workflowStatus: Open.#1898 In leanprover/lean-eval-submissions;[submission] Smallness of exceptional set to Littlewood’s conjecture
submissionA benchmark solution submission; triggers the evaluation workflowA benchmark solution submission; triggers the evaluation workflowStatus: Open.#1897 In leanprover/lean-eval-submissions;[submission] Newlander–Nirenberg
submissionA benchmark solution submission; triggers the evaluation workflowA benchmark solution submission; triggers the evaluation workflowStatus: Open.#1896 In leanprover/lean-eval-submissions;- Status: Open.#1894 In leanprover/lean-eval-submissions;
[submission] Cyclotomic integer house
submissionA benchmark solution submission; triggers the evaluation workflowA benchmark solution submission; triggers the evaluation workflowStatus: Open.#1883 In leanprover/lean-eval-submissions;- Status: Open.#1739 In leanprover/lean-eval-submissions;
- Status: Open.#1697 In leanprover/lean-eval-submissions;
- Status: Open.#1616 In leanprover/lean-eval-submissions;
- Status: Open.#1610 In leanprover/lean-eval-submissions;
- Status: Open.#1609 In leanprover/lean-eval-submissions;
- Status: Open.#1608 In leanprover/lean-eval-submissions;