Skip to content

feat: iinv - #470

Merged
MackieLoeffel merged 112 commits into
leanprover-community:masterfrom
ISTA-PLV:iInv
Jul 27, 2026
Merged

feat: iinv#470
MackieLoeffel merged 112 commits into
leanprover-community:masterfrom
ISTA-PLV:iInv

Commits

Commits on Jun 19, 2026

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 27, 2026

Commits on Jul 1, 2026

Commits on Jul 3, 2026

Commits on Jul 14, 2026

Commits on Jul 23, 2026

Commits on Jul 27, 2026