5 ms·
Impressive work. It's nice to see LEAN being used for real-world algorithms.
by deterministic 4mo ago
Impressive work. It's nice to see LEAN being used for real-world algorithms.
- permute 4mo agoThanks! Yes, I hope AI and Lean will enable formally verified practical software.