Explore >> Select a destination
|
You are here 
|
www.foonathan.net | ||
| | | | |
ericniebler.com
|
|
| | | | | As you may have heard by now, Ranges got merged and will be part of C++20. This is huge news and represents probably the biggest shift the Standard Library has seen since it was first standardized ... | |
| | | | |
www.cppstories.com
|
|
| | | | | From dynamic container operations to compile-time constants, C++ offers a variety of techniques (as in this famous Meme :)). In this article, we'll delve into advanced initialization methods likereserve() and emplace_backfor containers to tuples with piecewise_construct and forward_as_tuple. Thanks to those techniques, we can reduce the number of temporary objects and create variables more efficiently. | |
| | | | |
hackingcpp.com
|
|
| | | | | Introduction, examples and visual explanations of the basic principles behind C++ standard library algorithms. | |
| | | | |
adam.chlipala.net
|
|
| | | [AI summary] This text provides an in-depth exploration of advanced Coq proof techniques, focusing on manual proofs, recursion, and induction principles for complex data structures. It covers topics like nested inductive types, custom induction principles, and the design philosophy behind Coq's approach to proof automation. The text includes detailed examples of proof scripts, such as manual proofs for discrimination and injectivity of constructors, and discusses the use of tactics like discriminate and injection. It also touches on the implementation of functions like pred and the role of hints in improving proof readability and automation. | ||
