Full threaddeterministic·Impressive work. It's nice to see LEAN being used for real-world algorithms.View on HN