Add examples/README.md

2026-09-22 17:52:55 +00:00
parent 6e3322b046
commit f6c014f687
1 changed files with 6 additions and 0 deletions
@@ -0,0 +1,6 @@
+[sample-book.txt](lean-bench/examples/sample-book.txt)
+小型示例数学文本：
+- 使用 form-feed 模拟分页。
+- 包含定义、定理和习题。
+- 可用于演示 detect 或 ingest。
+- 避免每次都依赖真实 PDF。