論文分析 / Paper Analysis 提案中,尚未凍結 / Proposed, not frozen 要指名一篇論文 / A paper must be named 這裡沒有 PDF 抽取器 / No PDF extractor here

論文分析 / PAPER ANALYSIS

八支論文模組一直在,但沒有任何頁面載入過它們。這一頁是它們的入口。 貼進來的一段,不是從論文抽出來的一段。 所以每一段都標著它是你貼的還是從論文讀出來的, 而這一頁只會是前者。

第一步 · 這是哪篇論文 / Which paper

PCS 不會替這條路捏一個 documentId。

第二步 · 貼一段文字 / Paste a passage

第三步 · 貼一條公式 / Paste a formula

用 Lean 自己驗 / Check it yourself in Lean

PCS 不會替你跑 Lean,也沒有雲端編譯服務。PCS 給你一個完整的專案, 編譯器在你自己的機器上。
PCS does not run Lean for you and there is no cloud compiler. PCS hands you a complete project; the compiler is on your own machine.

裝 Lean:lean-lang.org · ZIP 裡的 README 有 macOS、Windows、Linux 三套步驟。

跑完之後,把 pcs-lean-report.txt 整份貼進來(工具鏈、版本與 lake build 輸出) / After it builds, paste all of pcs-lean-report.txt (toolchain, versions and the lake build output)

PCS 讀到的 / What PCS read

結構化圖表接點 / Structured chart collection

一般貼入文字沒有 frame / epoch / unit 契約，因此不會自動收集。下列入口是使用既有 Reid et al. 2019 結構化表格紀錄的真實、來源支持範例。

COLLECT SOURCE-BACKED TABLE → CARTOGRAPHY