knowsys/CertifyingDatalog

Tantow, Johannes; Gerlach, Lukas; Mennicke, Stephan; Krötzsch, Markus

doi:10.4230/artifacts.23826

Artifact

knowsys/CertifyingDatalog Software

Authors Johannes Tantow , Lukas Gerlach , Stephan Mennicke , Markus Krötzsch

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.23826
URN: urn:nbn:de:0030-drops-238266

Author Details

Johannes Tantow

TU Chemnitz, Germany

Lukas Gerlach

Knowledge-Based Systems Group, TU Dresden, Germany

Stephan Mennicke

Knowledge-Based Systems Group, TU Dresden, Germany

Markus Krötzsch

Knowledge-Based Systems Group, TU Dresden, Germany

Content

Software (Lean Formalization): https://github.com/knowsys/CertifyingDatalog/tree/v0.2.0
archived version

Version/Status

Content created at: 2023-10-02
Status: Active (at the time of publication 2025-09-22)

Cite As Get BibTex

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch. knowsys/CertifyingDatalog (Software, Lean Formalization). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23826

Description

A certified checker for Datalog entailments, written in Lean.

Subject Classification

Programming Languages

Lean

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail