Pinned Loading
-
Existential-Rules-in-Lean
Existential-Rules-in-Lean PublicThis repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics) of my own formal works.
Lean
-
knowsys/CertifyingDatalog
knowsys/CertifyingDatalog PublicA certified checker for Datalog entailments, written in Lean
Lean 9
-
knowsys/Formale-Systeme-in-LEAN
knowsys/Formale-Systeme-in-LEAN PublicLEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Lean 9
-
Pinned Loading
-
Existential-Rules-in-Lean
Existential-Rules-in-Lean PublicThis repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics) of my own formal works.
Lean
-
knowsys/CertifyingDatalog
knowsys/CertifyingDatalog PublicA certified checker for Datalog entailments, written in Lean
Lean 9
-
knowsys/Formale-Systeme-in-LEAN
knowsys/Formale-Systeme-in-LEAN PublicLEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Lean 9
-
Pinned Loading
-
Existential-Rules-in-Lean
Existential-Rules-in-Lean PublicThis repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics) of my own formal works.
Lean
-
knowsys/CertifyingDatalog
knowsys/CertifyingDatalog PublicA certified checker for Datalog entailments, written in Lean
Lean 9
-
knowsys/Formale-Systeme-in-LEAN
knowsys/Formale-Systeme-in-LEAN PublicLEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Lean 9
-
If the problem persists, check the GitHub status page or contact support.