Popular repositories Loading

1. aimlab_autoaim aimlab_autoaim Public

   aimlab自瞄

   Python 4

2. tracker_plus tracker_plus Public

   C++ 3

3. mathmatic_in_elementary_number_th mathmatic_in_elementary_number_th Public

   初等数论讲义的形式化证明 by lean4

   Lean 3

4. lean_poc_ex3 lean_poc_ex3 Public

   交付用第三题

   Lean 2

5. math math Public

   记录数学笔记作业

   TeX 1

6. lean_IMO_EX15 lean_IMO_EX15 Public

   学习如何使用lean来形式化证明 IMO_EX15

   Lean 1