Skip to content

feat: q-analogs - #43780

Open
SashaIr wants to merge 12 commits into
leanprover-community:masterfrom
SashaIr:q-analogs
Open

feat: q-analogs#43780
SashaIr wants to merge 12 commits into
leanprover-community:masterfrom
SashaIr:q-analogs

Commits

Commits on Sep 13, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026

  • LOL

    SashaIrSashaIr
    committed
    8ac2817

Commits on Sep 19, 2026

Commits on Sep 20, 2026