Palomar – a registry of Lean verified mathematics (via darichey) — discussion

#formalmethods #math