Skip to content

feat: iinduction#430

Draft
alvinylt wants to merge 41 commits into
leanprover-community:masterfrom
ISTA-PLV:iInduction
Draft

feat: iinduction#430
alvinylt wants to merge 41 commits into
leanprover-community:masterfrom
ISTA-PLV:iInduction

Commits

Commits on May 29, 2026