Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Switch to GitLab Next
Projects
Groups
Topics
Snippets
Register
Sign in
Toggle navigation
Menu
Vonfry
Vonfry
🤔
I wanna study on category theroy and formal method like coq for PhD.
@Vonfry
User ID: 1151698
Member since February 28, 2017
China
vonfry.name
mail@vonfry.name
Move to https://git.sr.ht/~vonfry
Overview
Activity
Groups
Contributed projects
Personal projects
Starred projects
Snippets
Followers
0
Following
0
There was an error loading users activity calendar.
Retry
Activity
View all
Personal projects
View all
Most Recent Activity
