Issues

• Read literature-links annotations as an article's Lean link

  facebookresearch/autoform-bot#601 · Filter by author Deicyde opened on Nov 2, 2026
  1

• Wiki prose: typeset mathematics, separate Lean notes, and link source-number references

  facebookresearch/autoform-bot#598 · Filter by author Deicyde opened on Nov 2, 2026
  1

• Make blueprint sources, coverage, and document roles first-class wiki views

  facebookresearch/autoform-bot#593 · Filter by author Deicyde opened on Nov 2, 2026
  1

• Formalize: safe worktree and evidence retention/garbage collection

  facebookresearch/autoform-bot#435 · Filter by author toskua opened on Oct 21, 2026
  1

• Formalize tracker: scalable orchestration, caching, verification and recovery

  facebookresearch/autoform-bot#429 · Filter by author toskua opened on Oct 21, 2026
  3

• Follow-ups from #90: the Atlas explorer's headings, ids, counts, edgeless links, TeX and 1600 px layout

  facebookresearch/autoform-bot#404 · Filter by author Deicyde opened on Oct 19, 2026
  2

• Let an article draw an informal dependency without changing derived status

  enhancement
  facebookresearch/autoform-bot#387 · Filter by author Deicyde opened on Oct 19, 2026

• Let a project opt out of the generated verify workflow so autoform init stops restoring it

  enhancement
  facebookresearch/autoform-bot#386 · Filter by author Deicyde opened on Oct 19, 2026