Lukas Gerlach monsterkrampe

Drumming on my table when thinking... (sorry coworkers!)

Organizations

Pinned Loading

1. This 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 5 3

2. A certified checker for Datalog entailments, written in Lean

   Lean 13 1

3. This repo formalizes (possibly) infinite trees of finite degree in Lean. So far this is mainly a dependency for one of my other projects and tailored towards this purpose. The repo features a forma…

   Lean 1

4. A fast in-memory rule engine

   Rust 221 12