refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0#18

Merged

rami3l merged 1 commit into

rami3l:masterfrom

srghma:refactor2

Jun 18, 2026

Commits on Jun 18, 2026

feat: 1. split Plfl/Init to 3 files; 2. update lean from v4.30 to v4.31, fix build errors (e.g. cannot anymore declare instance for structures bc of new check introduced in leanprover/lean4#13389)
srghma
committed