The MetaCoq Project
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter
Topics & Concepts
Programming languageComputer scienceCompilerType theoryPlug-inProof assistantType (biology)MathematicsBiologyMathematical proofGeometryEcologyLogic, programming, and type systemsSecurity and Verification in ComputingFormal Methods in Verification