Skip to content

fix(PACLearning): restrict consistency to realizable samples - #747

Open
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/pac-consistency-realizable-samples
Open

fix(PACLearning): restrict consistency to realizable samples#747
SamuelSchlesinger wants to merge 1 commit into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/pac-consistency-realizable-samples

fix(PACLearning): restrict consistency to realizable samples

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

Annotations

1 warning
ci-checks
succeeded Jul 25, 2026 in 6m 39s