- ๐ญ I'm studying at Cambridge, UK (4th year).
- ๐ฑ I'm currently interning at Google, working on Android and Chromium.
- ๐ฌ Ask me about hackathons, I co-founded Hack Kosice.
- โก Fun fact: I play the piano.
padr31 / cnf-converter Goto Github PK
View Code? Open in Web Editor NEWConvert propositional logic formulas to CNF