This website requires JavaScript.
Explore
Help
Sign In
Rachel Lambda Samuelsson
rachel
1 Followers
·
1 Following
Gothenburg, Sweden
https://rachel.cafe
Interested in type theory, category theory and univalent foundations.
Joined on
2022-01-22
Repositories
45
Projects
Packages
Public Activity
Starred Repositories
xenia
Joined on
2023-07-05
Mastodon