A Formalisation of Algorithms for Sorting Network
arXiv:2203.01579
Abstract
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.
arXiv:2203.01579
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.