Skip to content
View subfish-zhou's full-sized avatar
36 followers · 23 following
  • Prague
  • 07:00 (UTC +01:00)

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Pull Shark

Organizations

@Lean-zh

Block or report subfish-zhou

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

Popular repositories Loading

  1. theorem_proving_in_lean4_zh_CN theorem_proving_in_lean4_zh_CN Public

    Lean4中文教程

    HTML 30

  2. mathematics_in_lean_zhCN mathematics_in_lean_zhCN Public

    Mathematics in Lean 翻译工程

    JavaScript 5 1

  3. leanprover-zh_CN.github.io leanprover-zh_CN.github.io Public

    Lean中文手册

    Lean 4

  4. N2Lean N2Lean Public

    A Dataset for machine translation from natural language mathematical statement to Lean statement

    Lean 4 1

  5. timeseries-predictor timeseries-predictor Public

    Jupyter Notebook 1

  6. tacticbook tacticbook Public

    Lean 1