Questions tagged [coq-ssreflect]
ssreflect is a special set of tactics designed to enable small-scale reflection proof methodology in Coq proof assistant.
ssreflect is a special set of tactics designed to enable small-scale reflection proof methodology in Coq proof assistant.