GitHub repository: secure-foundations/veri-datalog
Primary language: Dafny
Description: Verified Datalog