Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

This article is a re-publication of Rei-AIOS Paper 139 for the dev.to community. GitHub source (private): https://github.com/fc0web/rei-aios Author: Nobuki Fujimoto (@fc0web) · ORCID 0009-0004-6019-9258 · License CC-BY-4.0 --- Status: v0.1 draft, NOT for Zenodo submission yet — pending γ batch compl