STFH: Stream the F* Hack

Stream the F* Hack with Atom and see it in your browser

Comment

Yifei Teng posted an update — Feb 26, 2017 12:21 PM EST

Atom Code: https://github.com/TakefiveInteractive/stfh-atom Frontend Code: https://github.com/TakefiveInteractive/stfh-frontend Backend Code: https://github.com/TakefiveInteractive/stfh-backend

Log in or sign up for Devpost to join the conversation.