A Formalisation of Algorithms for Sorting Network

03/03/2022

∙

by   Laurent Théry, et al.

∙

0

∙

share

This notes explains how standard algorithms that construct sorting networks have been formalised and proved correct in the Coq proof assistant using the SSReflect extension.