@moonmaster9000 The fact of matter is more fundamental than that. *All* code is a proof of a proposition under C-H.
-
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
Replying to @moonmaster9000
@moonmaster9000 absolutely yes it (C-H) does.1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @moonmaster9000
@moonmaster9000 This question takes a lot of practice to answer. Happy to do it if you are.2 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @jco
@jco@moonmaster9000 I occasionally conduct an introductory course on this. http://github.com/nicta/course Mailing lists and other channels exist1 reply 0 retweets 2 likes -
This Tweet is unavailable.
-
This Tweet is unavailable.
Replying to @moonmaster9000
@moonmaster9000 join #nicta-course on freenode.
9:58 PM - 15 Jul 2014
0 replies
0 retweets
1 like
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.