Popular repositories Loading

1. KIP KIP Public

   Lean 4 formalization of the Kervaire Invariant Problem with leanblueprint

   TeX 1 1

2. AI4M-2024-pku AI4M-2024-pku Public

3. FATE-Eval FATE-Eval Public

   Forked from frenzymath/FATE-Eval

   Repository for evaluation codes for FATE benchmark

   Python

4. jixia jixia Public

   Forked from frenzymath/jixia

   A static analysis tool for Lean 4.

   Lean

5. Archon Archon Public

   Forked from frenzymath/Archon

   Python 1

6. spectral-sequence-notes spectral-sequence-notes Public

   Forked from wangguozhen-fudan/spectral-sequence-notes

   数学笔记：谱序列相关内容

   TeX