Skip to content

Update leanSpec commit to d39d101#215

Merged
pablodeymo merged 1 commit intomainfrom
update-lean-spec-commit
Mar 13, 2026
Merged

Update leanSpec commit to d39d101#215
pablodeymo merged 1 commit intomainfrom
update-lean-spec-commit

Commits

Commits on Mar 13, 2026