Skip to content

Commit bd89129

Browse files
claudeclaude
committed
chore(docs): relocate planning, warmup, and academic files
Move from root: - PROOF-NEEDS.md, TEST-NEEDS.md to docs/ (planning trackers) - llm-warmup-{dev,user}.md to docs/handover/ (session warmup material) - arcvix-neurosymbolic-theorem-proving.{tex,bib} to docs/academic/ (paper source paired with the existing ACADEMIC_PAPER.md) No content changes; pure git mv. https://claude.ai/code/session_01YPqu7gti4azBach6ZvpRFJ
1 parent dc92271 commit bd89129

6 files changed

File tree

PROOF-NEEDS.md renamed to docs/PROOF-NEEDS.md

File renamed without changes.

TEST-NEEDS.md renamed to docs/TEST-NEEDS.md

File renamed without changes.

arcvix-neurosymbolic-theorem-proving.bib renamed to docs/academic/arcvix-neurosymbolic-theorem-proving.bib

File renamed without changes.

arcvix-neurosymbolic-theorem-proving.tex renamed to docs/academic/arcvix-neurosymbolic-theorem-proving.tex

File renamed without changes.

llm-warmup-dev.md renamed to docs/handover/llm-warmup-dev.md

File renamed without changes.

llm-warmup-user.md renamed to docs/handover/llm-warmup-user.md

File renamed without changes.

0 commit comments

Comments
 (0)