Board & Card Games
Petr Hudeček
Profile Activity
Stats
212
reputation
2k
reached
1
answers
1
questions
About

I am especially interested in compilers, language design and formal proving.

I also make videogames, see here for a list with screenshots: https://hudecekpetr.cz/my-videogames/

I am affiliated with PostSharp Technologies and answer -related questions in that capacity.

Communities (43)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges

Top tags (2)

Score 0
Posts 1
Score -2
Posts 2

Top posts (2)

All Questions Answers
Votes Newest
9 What is the origin of the term "converted mana cost"? Sep 26 '16
-2 Is there a term for: "Doesn't untap during next untap step"? Apr 10 '17

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.