LEAN-6032 - [FGA-020] Editor schema & JATS mapping — Figure attribution - #427
Open
zax-assistant[bot] wants to merge 2 commits into
Open
zax-assistant[bot] wants to merge 2 commits into
zax-assistant[bot] wants to merge 2 commits into
zax-assistant / Publish
succeeded
Sep 17, 2026 in 3m 25s
Publish successful
Success
Loading