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