mercury0114 questions

• How in linux to use interactive shell for Coq code?
• What's the proper way using GTest to repeat a multi-threaded test multiple times?
• c++ support for last call optimization in template metaprogramming
• Does the C standard have any guarantees on the amount of stack space used?

mercury0114 answers