Log inSign up
user avatar
András Kovács
@andrasKovacs6
Type theory & applications. Also on Mastodon: types.pl/@AndrasKovacs
andraskovacs.github.io
Joined July 2015
66
Following
908
Followers

@andrasKovacs6 hasn’t posted

When they do, their posts will show up here.