GitHub repository: knowsys/CertifyingDatalog
Primary language: Lean
Description: A certified checker for Datalog entailments, written in Lean