-
Notifications
You must be signed in to change notification settings - Fork 168
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Documentation typo in tensor product example refers to undefined
T1insteadgood first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1543 In leanprover-community/physlib;Incorrect symbol
𝓢used in documentation ofgood first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1542 In leanprover-community/physlib;Documentation claims anomaly cancellation is preserved under mapping without
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1541 In leanprover-community/physlib;Incorrect documentation in Position.lean refers to momentum operator instead of
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1540 In leanprover-community/physlib;Incorrect documentation for realLorentzTensor in Basic.lean
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1538 In leanprover-community/physlib;Incorrect use of "power series" in documentation for
normPowerSeriesgood first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1537 In leanprover-community/physlib;Module docstring incorrectly claims coverage of α-Renyi entropy
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1536 In leanprover-community/physlib;Documentation claims support for RHNs in MSSM but code does not implement them
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1535 In leanprover-community/physlib;Incorrect documentation of variational derivative in Euler-Lagrange equations
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1534 In leanprover-community/physlib;Documentation error in Levi-Civita tensor description
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1533 In leanprover-community/physlib;Incorrect 'complex' documentation for real Lorentz tensors in Metrics/Basic.lean
good first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1532 In leanprover-community/physlib;Incorrect documentation for Galilean action on space in
actSpacegood first issueGood for newcomersGood for newcomershelp-wantedExtra attention is neededExtra attention is neededStatus: Open.#1530 In leanprover-community/physlib;