@Bowoski https://coq.inria.fr/

I honestly don't get how they thought that was a good name, even back then.

@Michcioperz Programming Language Design

@abs aha gotcha
well I guess my uni has a bunch of doctors who doctored in Coq (and also our shell server runs PLD Linux so I swear it's a match made in heaven)

@Michcioperz What university is that?

@abs Uni of Warsaw (not to be mistaken with Warsaw Uni of Technology)

@Michcioperz You don't seem to have a CS masters programme English, though. Only Data Science.

@abs yeah that is probably the case, generally we don't English much, although I'm pretty sure we have at least two Vietnamese professors in the faculty

@abs in this city Warsaw Uni of Tech has lots more in English but I can't say I recommend them, and that is based on studying-there-friends' opinions and not just my uni's superiority

@Michcioperz Good to know, thanks! 🎉

@abs except I suppose we don't do Polish much, perhaps doctoral but masters I don't think

@ayo Thank you, I'll look into that!

@turion Thank you! I'll look into them. 😄

@grainloom Thank you, I'll look into it!

@abs oh also ELTE hosted the Types conference in 2017, idk if that counts towards anything

@grainloom It at least shows that they are involved enough in that branch of research to be qualified to organize something like that, doesn't it?
Seems like a positive in my book. 😄

@turion Coq is just what I learned here at university. It's meant as a stand-in for type based theorem provers in general.
I'd be perfectly fine with Agda. 😀