Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Formalisation of Algorithms for Sorting Network   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.

34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con