Giters
yanzhenqiang

yanzhenqiang

Geek Repo

11

followers

0

following

4

stars

Home Page:https://yanzhenqiang.github.io/

Github PK Tool:Github PK Tool

yanzhenqiang's starred repositories

aimo-progress-prize

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:213Issues:0Issues:0

mmverify.py

Metamath verifier in Python

Language:PythonLicense:MITStargazers:35Issues:0Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:2007Issues:0Issues:0

cicada

Cicada Language

Language:TypeScriptLicense:GPL-3.0Stargazers:2Issues:0Issues:0