Skip to content
View zengyuzhi's full-sized avatar
🎯
Focusing
🎯
Focusing
6 followers · 6 following
  • 14:32 (UTC -12:00)

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report zengyuzhi

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
zengyuzhi/README.md

Hello from Yuzhi👋

Pinned Loading

  1. HOL-Light-to-Lean4 HOL-Light-to-Lean4 Public

    A pipeline to port HOL-Light theorems into Lean4

    Standard ML 2

  2. context-labs-ai/gradientflow context-labs-ai/gradientflow Public

    多智能体原生支持的聊天本地工作室，欢迎大家尝试，观摩！

    TypeScript 4