Popular repositories Loading

1. 2024math19 2024math19 Public

   Tabu search for the exceptional case (2,5) as m increases

   C++

2. byrdocs-completion byrdocs-completion Public

   Forked from byrdocs/byrdocs-completion

   BYR Docs 考题补完计划

   TeX

3. tp-lean-zh tp-lean-zh Public

   Forked from Lean-zh/tp-lean-zh

   Lean 定理证明

   JavaScript

4. LeanLearning LeanLearning Public

   Lean

5. math-in-lean-zh math-in-lean-zh Public

   Forked from Lean-zh/math-in-lean-zh

   The user home repository for the Mathematics in Lean tutorial.

   HTML

6. logical_verification_2025 logical_verification_2025 Public

   Forked from Lean-zh/LoVe2025-zh

   The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

   Lean