Skip to content
Lint trailing whitespaces

prove a bunch in sigma.lean #485

Sign in to view logs

prove a bunch in sigma.lean

prove a bunch in sigma.lean #485

Lint trailing whitespaces

Lint trailing whitespaces
succeeded Aug 5, 2026 in 7s