Zulip Chat Archive

Stream: ItaLean 2025

Topic: Projects: q,t-Catalan

Lorenzo Luccioli (Dec 09 2025 at 16:48):

This thread is dedicated to the q,t-Catalan project:

Repository: https://github.com/SashaIr/qt-catalan
Informal & Formal Manager: @Alessandro Iraci

Lorenzo Luccioli (Dec 09 2025 at 17:22):

PR where they mention renaming the names of variables in polynomials: https://github.com/leanprover-community/mathlib4/pull/28349

Eugenio Cainelli (Dec 09 2025 at 17:25):

Repo: https://github.com/SashaIr/qt-catalan

Last updated: Dec 20 2025 at 21:32 UTC