Giters
Yibing Chen (cybcatppuccino)

cybcatppuccino

Geek Repo

18

followers

7

following

10

stars

Company:Peking University

Github PK Tool:Github PK Tool

Yibing Chen's repositories

AlgebraicBasicConcepts

代数基本观念

License:CC0-1.0Stargazers:12Issues:2Issues:0

EG

Formalizing Euclidean Geometry in Lean

Language:LeanStargazers:0Issues:0Issues:0

PFTool

Language:PythonStargazers:0Issues:1Issues:0