Skip to content

CLI gaps: tasks --proof-requirement, KB literal placeholders, templates add-task-refs - #389

Merged
alexeygrigorev merged 3 commits into
mainfrom
cli-gaps
Nov 9, 2026
Merged

CLI gaps: tasks --proof-requirement, KB literal placeholders, templates add-task-refs#389
alexeygrigorev merged 3 commits into
mainfrom
cli-gaps

Commits

  1. Commits on Nov 9, 2026