bodzioney - Codeberg.org

This website requires JavaScript.

bodzioney

0 followers · 0 following

Joined on 2026年01月26日

Projects Packages Public activity Starred repositories

mikan

Mikan is a proof assistant for cubical type theory.

Updated 2026年06月10日 21:57:32 +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.