Skip to content

feat: iinduction#430

Merged
MackieLoeffel merged 187 commits into
leanprover-community:masterfrom
ISTA-PLV:iInduction
Jul 21, 2026
Merged

feat: iinduction#430
MackieLoeffel merged 187 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

Commits on Jul 3, 2026