new | ask | show | jobs
deterministic 3 days ago  [ - ]

Impressive work. It's nice to see LEAN being used for real-world algorithms.

permute 3 days ago  [ - ]

Thanks! Yes, I hope AI and Lean will enable formally verified practical software.