Palomar — Lean-verified mathematics

palomar-registry.org

A public registry of Lean-verified mathematical results.

立即前往返回首页