Yes, I was joking. @idrislang is awesome for what I know.
-
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
One of the things I'm really trying hard to do with Idris is convince developers that you can prove interesting things with not much effort... I realise there's still some way to go!
1 reply 4 retweets 5 likes -
I read this book recently: https://www.amazon.co.uk/Five-Proofs-Existence-Edward-Feser/dp/1621641333 … I’d be interested to see the proofs checked with a proof assistant.
1 reply 0 retweets 1 like -
I don't know of one with the right libraries...
1 reply 0 retweets 1 like -
This Tweet is unavailable.
-
I’d heard that someone had done that with the ontological proof - and found it was sound.
1 reply 0 retweets 0 likes
You know, but for the geographical problem, I would find it entertaining to introduce you two to each other in a pub some time...
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.