HEPLean

Pinned Repositories

HepLean
A project to digitalise results from high energy physics into Lean.
Language:Lean108 3 89

HEPLean's Repositories

HEPLean/HepLean
A project to digitalise results from high energy physics into Lean.
Language:Lean108 3 89