GitHub repository: AntoineChambert-Loir/Representations
Primary language: Lean
Created: 2025-06-23T20:15:06Z
Description: Simons 2025 Lean Conference - Constructing representations