Skip to content

feat: iinduction#430

Open
alvinylt wants to merge 184 commits into
leanprover-community:masterfrom
ISTA-PLV:iInduction
Open

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

Commits

Commits on May 29, 2026

Commits on Jun 6, 2026

Commits on Jun 15, 2026

Commits on Jun 16, 2026

Commits on Jun 18, 2026

Commits on Jun 20, 2026

Commits on Jun 26, 2026