People liufengyun

liufengyun (Fengyun Liu)Email Not Verified
User

Projects

User does not belong to any projects.

Repositories

User does not have any repository.

User Details

User Since: Nov 10 2020, 15:40 (180 w, 1 d)
Availability: Available

Recent Activity
View All

Nov 10 2020

GitHub <noreply@github.com> committed R9452:6094ee76a6dd: Merge pull request #4 from lampepfl/rewrite-coq-intro (authored by • liufengyun).

Merge pull request #4 from lampepfl/rewrite-coq-intro

Nov 10 2020, 16:17