Skip to content

Felt review - #1

Merged
alexanderlhicks merged 16 commits into
mainfrom
felt-review
Jun 11, 2026
Merged

Felt review#1
alexanderlhicks merged 16 commits into
mainfrom
felt-review

Align Lean toolchain with mathlib pin

aa0ceeb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
emit-certs
succeeded Jun 10, 2026 in 21m 48s