Skip to content

feat(Foundations/Data): lawful lenses for verified state access#659

Draft
fraware wants to merge 4 commits into
leanprover:mainfrom
fraware:feat/foundations/lawful-lens
Draft

feat(Foundations/Data): lawful lenses for verified state access#659
fraware wants to merge 4 commits into
leanprover:mainfrom
fraware:feat/foundations/lawful-lens

Commits

Commits on Jun 17, 2026