GitHub repository: pitmonticone/BET
Primary language: Lean
Description: Project for "Machine-Checked Mathematics" at the Lorentz Center