gocar-core v0.1.0 — Core types, resolver and lockfile synthesis for Gocar (VerSem 3.0 verification overlay)

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