Hacker News new | ask | show | jobs
LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video] (youtube.com)
2 points by amichail 11 days ago