/zilinc

Zilin Chen

@zilinc

Open GitHub

🇸🇬 Singapore

Profile age: over 11 years

Updated 12 days ago

10 followers • 8 following

Contacts

zilin.chen@ntu.edu.sg

zilinc.github.io

Repositories

PLV-RG

4

0

updated over 3 years ago • age over 4 years

Makefile44.9%

Coq41.2%

Agda13.9%

popl23-artefact

0

updated about 3 years ago • age about 3 years

Isabelle96.6%

C1.3%

Makefile1.3%

Python0.6%

Shell0.2%

Contributions