Skip to content

feat(proof-lib/lean) core models#1747

Merged
maximebuyse merged 7 commits intomainfrom
lean-core-models
Nov 13, 2025
Merged

feat(proof-lib/lean) core models#1747
maximebuyse merged 7 commits intomainfrom
lean-core-models

Commits

Commits on Nov 12, 2025

Commits on Nov 13, 2025