GitHub repository: jt0202/CertifyingDatalog
Primary language: Lean
Created: 2023-10-02T21:53:41Z
Description: Implements a certified checker in Lean for DatalogResults