▲ 2 pointsLANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]youtube.comby amichail·1mo ago·0 comments·view on hn ↗