search

HEPLean / HepLean

A project to digitalise results from high energy physics into Lean.
https://heplean.github.io/HepLean/
Apache License 2.0
56 stars 4 forks source link

Golf `AnomalyCancellation/Basic.lean` #96

Closed pitmonticone closed 2 months ago

pitmonticone commented 2 months ago
jstoobysmith commented 2 months ago

Thanks for this. I've merged :).