Comment by deterministic 3 days ago Impressive work. It's nice to see LEAN being used for real-world algorithms. 1 comment deterministic Reply permute 3 days ago Thanks! Yes, I hope AI and Lean will enable formally verified practical software.
Thanks! Yes, I hope AI and Lean will enable formally verified practical software.