Y
Hacker News
new
|
ask
|
show
|
jobs
by
deterministic
9 days ago
Impressive work. It's nice to see LEAN being used for real-world algorithms.
1 comments
permute
9 days ago
Thanks! Yes, I hope AI and Lean will enable formally verified practical software.
link