tm-elpi-store v0.12.0 — Tiramemsu ELPI persistence: stored λProlog programs with includes, commit-time enforcement and materialization plans

Sign in to join the discussion — your thebay.events account works here.