dandik.systems

we try to conduct research on mathematical structures, in a relatively dandik way, mostly centered on univalent foundations, formal verifications and proof assistants such as rocq.