I am confused and scared. Is this how people who believe in [ZFC/God] feel when they read [your post/that sign]?
What are you using to highlight coq code?
emacs proof-general htmlize-buffer
That's just a stupid statement. "There is probably..." That means the author is not sure and why would you not enjoy your life if there is a God. You should actually enjoy it more.
Post a Comment