Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Profile
Navid Roux
Activity
Groups
Contributed projects
Personal projects
Starred projects
Snippets
Followers
Following
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Navid Roux
More actions
Copy user ID: 321
Subscribe
Navid Roux
@NavidRoux
Scientist at kwarc working on formalizing maths
Activity
View all
Loading
There was an error loading users activity calendar.
Retry
Loading
Personal projects
View all
Loading
Loading
About
Pronouns:
they/them
Info
Member since November 20, 2018
Contact
navid-roux.netlify.app/