Skip to content
@crazy-forks

Crazy Forks

这里用来备份我正在关注的项目

Pinned Loading

  1. linux linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C

  2. lean4 lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

Repositories

Showing 10 of 104 repositories

Top languages

Loading…

Most used topics

Loading…