sci-mathematicssci-mathematicssci-mathematics / coq : Proof assistant written in O'CamlBuild using camlp5. This is required for some plugins like Ssreflect.