Reed Mullanix - Codeberg.org

This website requires JavaScript.

Reed Mullanix totbwf · He/Him

8 followers · 0 following

Hamilton, ON
https://reedmullanix.com
PhD student at McMaster University working on proof assistants
Joined on 2026年04月20日

Projects Packages Public activity Starred repositories

mikan

Updated 2026年06月29日 17:05:18 +02: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.