From f6c014f687168fcb83f51d34712570f13756960a Mon Sep 17 00:00:00 2001 From: Zayden-Jung Date: Tue, 22 Sep 2026 17:52:55 +0000 Subject: [PATCH] Add examples/README.md --- examples/README.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 examples/README.md diff --git a/examples/README.md b/examples/README.md new file mode 100644 index 0000000..27ec1da --- /dev/null +++ b/examples/README.md @@ -0,0 +1,6 @@ +[sample-book.txt](lean-bench/examples/sample-book.txt) +小型示例数学文本： +- 使用 form-feed 模拟分页。 +- 包含定义、定理和习题。 +- 可用于演示 detect 或 ingest。 +- 避免每次都依赖真实 PDF。 \ No newline at end of file