Skip to content

feat: deprecate Iris/Std/Classes.lean and reuse definitions from core libraries#518

Open
alvinylt wants to merge 6 commits into
leanprover-community:masterfrom
ISTA-PLV:StdClasses
Open

feat: deprecate Iris/Std/Classes.lean and reuse definitions from core libraries#518
alvinylt wants to merge 6 commits into
leanprover-community:masterfrom
ISTA-PLV:StdClasses

Bug fix: `Examples/ClosedProofs.lean` and `HeapLang/PrimitiveLaws.lean`

aa5e99e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 15, 2026 in 4m 2s