PDCoq

swMATH10337MaRDI QIDQ22298FDOQ22298

Author name not available (Why is that?)

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