Let premise introduction pass#213

Draft

DCupello1 wants to merge 11 commits intomainfrom

Commits on Nov 13, 2025

Commits on Jan 8, 2026

Merge branch 'main' into improve-ids-pass
DCupello1
committed

Commits on Jan 13, 2026