blog. A small blog about type theory and mathematics

github.com/varkor/blog
by @varkor

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.