Skip to content
GitLab
Explore
Sign in
agda-unimath
README.md
Find file
Blame
History
Permalink
Update maintainer sentences (#942)
· 0fd08152
Fredrik Bakke
authored
Nov 24, 2023
Mention all the current maintainers in the docs.
0fd08152
Loading