GitHub repository: mseri/birkhoff
Primary language: Lean
Created: 2023-07-17T07:35:46Z
Description: Project for "Machine-Checked Mathematics" at the Lorentz Center