Skip to content

feat(MachineLearning/PACLearning): add VersionSpace abstraction#592

Open
Zetetic-Dhruv wants to merge 1 commit into
leanprover:mainfrom
Zetetic-Dhruv:version-space-v2
Open

feat(MachineLearning/PACLearning): add VersionSpace abstraction#592
Zetetic-Dhruv wants to merge 1 commit into
leanprover:mainfrom
Zetetic-Dhruv:version-space-v2

Commits

Commits on May 22, 2026