Control plane
Draft
Detail editor for one draft. Save, approve into queue, or reject out of the editorial flow.
local DBprivate
Source
2026-03-16 22:53:41.000000
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications. https://t.co/MT22r9x7ic
Draft text
Req 2026-03-16T2301-TOP1
Queue membership is preserved when editing an already approved draft.