4 ms·Thanks! Yes, I hope AI and Lean will enable formally verified practical software.by permute 4mo agoThanks! Yes, I hope AI and Lean will enable formally verified practical software.