tm-elpi v0.12.0 — Tiramemsu ELPI: λProlog programs run by lean-elpi over a view, with host builtins, stated support and pointwise valid time

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