• Member for 8 years, 8 months
  • Last seen more than a month ago
What to do when the answer is already part of the question
4 votes

This was initially written as a question. But since it would largely be a duplicate of this one, which is now 2 years old, I prefer to include it as an answer, shedding some light on what this is ...

View answer
Should we merge check-my-proof and check-my-algorithm?
-1 votes

I believe Haskell B. Curry and William A. Howard would be interested by your discussion and conclusions. This is intended as an answer.

View answer