Yes, I was joking. @idrislang is awesome for what I know.
-
-
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.
-
I don't know of one with the right libraries...
- 7 more replies
New conversation -
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.