babou
  • Member for 8 years, 6 months
  • Last seen more than a month ago
3 answers
16 votes
3k views
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
4 answers
4 votes
160 views
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