- ๐ Hi, Iโm @jzpa
- ๐ Iโm interested in Computer Architercture, Formal Methods, AI, Logic and Literature
- ๐ฑ Iโm currently learning Formal Verification
- ๐๏ธ Iโm looking to collaborate on Game-making and Technical seminar on interests
- ๐ซ How to reach me ? [email protected]
jzpa / ustccoder Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hexuustc/ustccoder
we are in ustc