mathscape-emergence v0.1.12 — Operators and laws emerging from bare lambda terms: enumerate, observe, name, conjecture, certify

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