Company:Université Claude Bernard - Lyon 1Location:Lyon, France
Lean 3's obsolete mathematical components library: please use mathlib4
The math library of Lean 4
xroblot doesn’t have any repository yet.