Commit 2024-05-14 17:05 fd0d405a

View on Github →

chore: lake build ProofWidgets required for lean4checker (#12896) See zulip.

Estimated changes