Classic McEliece is a submission to NIST's Post-Quantum Cryptography Standardization Project.
"Supporting Documentation" describing the submission:
Complete tight ROM IND-CCA2 security proof, assuming OW-CPA security for the underlying PKE: Daniel J. Bernstein, Edoardo Persichetti. "Towards KEM unification."
Implementations: see submission package.
Full submission package. Includes documentaton (as
doc.pdf), implementations (at submission time), and KATs. Warning: This package is nearly 30 megabytes, mostly for the KATs.
Version: This is version 2018.10.30 of the "NIST submission" web page.