• Hamilton, ON
• https://reedmullanix.com

• PhD student at McMaster University working on proof assistants

• Joined on 2026年04月20日

There are no packages yet.

For more information on the package registry, see the documentation.