PDCoq

MaRDI QIDQ22298swMATHFDO

Official website http://www.liacc.up.pt/~kat/pdcoq/

Cited in

(6)

• KAT-ML
• FAdo
• GUItar
• Regular Sets
• Deciding Kleene algebra terms equivalence in Coq
• Deciding regular expressions (in-)equivalence in Coq

This page was built for software: PDCoq