Skip to content
View DyeKuu's full-sized avatar
😻
😻

Block or report DyeKuu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. openai/miniF2F openai/miniF2F Public

    Formal to Formal Mathematics Benchmark

    Objective-C++ 320 45

  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 255 89

  4. facebookresearch/miniF2F facebookresearch/miniF2F Public

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

    Objective-C++ 68 18

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

    Rust 程序设计语言(2021 edition)

    Markdown 4.6k 602

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

    Lean 177 33