Stream: General

Topic: Optimal Sorting Networks in Isabelle

Manuel Eberl (May 04 2021 at 14:53):

https://jix.one/proving-50-year-old-sorting-networks-optimal-part-1/

Last updated: Aug 23 2025 at 01:39 UTC