summer project idea: spend a week contrasting the difficulty of learning how to do a kickflip and learning how to use a proof assistant
-
-
Replying to @tpolecat1 reply 0 retweets 3 likes
-
Replying to @d62 replies 0 retweets 4 likes
-
Replying to @tpolecat2 replies 0 retweets 2 likes
Replying to @tpolecat
@tpolecat @d6 I would do anything to go if this was a real thing (not that I already didn't want to go)pic.twitter.com/kLVSAH1GwU
11:50 AM - 14 Apr 2016
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.