Popular repositories Loading

1. local-tts-workbench local-tts-workbench Public

   基于fish audio的tts工作台

   Python 1

2. bent-partition-depth bent-partition-depth Public

   Lean formalization and proof of the bent partition depth theorem

   Lean

3. Past-Paper-Recomposer-V1 Past-Paper-Recomposer-V1 Public

   历年真题导入、人工审核、题组管理与随机重组的 Streamlit 应用

   Python

4. research-plan-builder research-plan-builder Public

   Local-first research paper discovery, evidence validation, ranking, and reading-path builder (Stage 1-2).

   Python

5. linear-2tree-bend-location linear-2tree-bend-location Public

   Lean 4/Mathlib verification of an interior bend-location theorem for linear 2-trees

   Lean

6. belgian-chocolate-problem-lean-proof-20260910210030-init belgian-chocolate-problem-lean-proof-20260910210030-init Public

   Lean 4 formalization and reproducibility artifacts for an exact algorithmic solution of the Belgian Chocolate Problem.

   Lean