Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Vonfry
@Vonfry
🤔
I wanna study on category theroy and formal method like coq for PhD.
Activity
View all
Loading
There was an error loading users activity calendar.
Retry
Loading
Personal projects
View all
Loading
Loading
About
Move to https://git.sr.ht/~vonfry
Info
China
Member since February 28, 2017
Contact
vonfry.name
mail@vonfry.name
Vonry314
