PDCoq

Coq library: PDCoq. Deciding Regular Expression and KAT terms (In)Equivalence in Coq Through Partial Derivatives