-
Notifications
You must be signed in to change notification settings - Fork 13
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#31 In chasenorman/CanonicalLean;
Proof not found for equivalence test on Artin_exercise_13_4_10
performanceDifficult user-submitted instancesDifficult user-submitted instancesStatus: Open.#29 In chasenorman/CanonicalLean;- Status: Open.#28 In chasenorman/CanonicalLean;
- Status: Open.#27 In chasenorman/CanonicalLean;
- Status: Open.#26 In chasenorman/CanonicalLean;
- Status: Open.#17 In chasenorman/CanonicalLean;
- Status: Open.#11 In chasenorman/CanonicalLean;
- Status: Open.#5 In chasenorman/CanonicalLean;