Hacker News new | ask | show | jobs
by permute 11 days ago
Thanks! Yes, I hope AI and Lean will enable formally verified practical software.