-
Notifications
You must be signed in to change notification settings - Fork 143
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1441 In leanprover-community/physlib;
- Status: Open.#1437 In leanprover-community/physlib;
- Status: Open.#1414 In leanprover-community/physlib;
- Status: Open.#1211 In leanprover-community/physlib;
- Status: Open.#1180 In leanprover-community/physlib;
- Status: Open.#1147 In leanprover-community/physlib;
- Status: Open.#1048 In leanprover-community/physlib;
Naming in Anomaly Cancellation for QED
help-wantedExtra attention is neededExtra attention is neededStatus: Open.#1046 In leanprover-community/physlib;- Status: Open.#1038 In leanprover-community/physlib;
- Status: Open.#939 In leanprover-community/physlib;
- Status: Open.#938 In leanprover-community/physlib;
API: Galilean group
help-wantedExtra attention is neededExtra attention is neededStatus: Open.#911 In leanprover-community/physlib;