GitHub repository: HEPLean/HepLean
Primary language: Lean
Created: 2024-04-16T19:31:14Z
Description: A project to digitalise results from high energy physics into Lean.