pith.

Research Integrity Review Pre-print

sign in

Physics Mathematics Computer Science Biology Finance Statistics Systems Economics

authors / Lukas Gerlach

Lukas Gerlach

Identifiers

No identifiers captured yet.

Papers (1)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

pith.science · pre-print review infrastructure · authors keep copyright · arXiv keeps the PDF

Pith is a project of Recognition Physics Research Institute, a not-for-profit entity in Texas.

Research · Integrity · Review · Pre-prints · Pre-print policy · Recent Asks · Citations · Graph · Extension · Sitemap

Pith Reports are machine-assisted referee-style reports. They are not journal acceptance, and they do not replace expert scrutiny.