3 ms·LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]2 points by amichail 3mo ago