Formalizing Polynomial Laws and the Universal Divided Power Algebra - Lean code

Artifact Digital Object Group 2026 Dataset

View at publisher
Authors: Antoine Chambert-Loir, María Inés de Frutos-Fernández
DOI: 10.1145/3747414
Cited by: 0

Publication details

Journal / source
Artifact Digital Object Group
Publication date
8 January 2026
Document type
Dataset