D

DatalogCert

Coq Formalization of Datalog Engines