discrtree v0.5.0 — Find Lean declarations by shape and lift them into a proof

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