- Minneapolis, MN
- https://mzhang.io
- Joined on
2020-07-21
Mirror of https://github.com/leanprover/lean2 in case it ever disappears
Updated 2024-08-09 09:21:44 +00:00
Block user
Please note that blocking a user has other effects, such as:
- You will stop following each other and will not be able to follow each other.
- This user will not be able to interact with the repositories you own, or the issues and comments you have created.
- You will not be able to add each other as repository collaborators.