Pinned Loading

1. openai/miniF2F openai/miniF2F Public archive

   Formal to Formal Mathematics Benchmark

   Objective-C++ 438 51

2. sail-sg/hloenv sail-sg/hloenv Public

   an environment based on XLA for deep learning compiler optimization research.

   C++ 23 1

3. metamath/set.mm metamath/set.mm Public

   Metamath source file for logic and set theory

   HTML 338 115

4. facebookresearch/miniF2F facebookresearch/miniF2F Public

   An updated version of miniF2F with lots of fixes and informal statements / solutions.

   Objective-C++ 108 20

5. KaiserY/trpl-zh-cn KaiserY/trpl-zh-cn Public

   Rust 程序设计语言（2024 edition 施工完毕）

   Markdown 5.7k 734

6. openai/lean-gym openai/lean-gym Public archive

   Lean 202 34