P2900R13.pdf
isocpp.org · 38,536 words · saved by 1 readers
N/A
# link_11p7dhr362d.pdf ## Metadata - PDFFormatVersion=1.5 - IsLinearized=false - IsAcroFormPresent=false - IsXFAPresent=false - IsCollectionPresent=false - IsSignaturesPresent=false - Producer=pdfTeX-1.40.26 - Creator=LaTeX with hyperref - CreationDate=D:20250113100802-05'00' - ModDate=D:20250113100802-05'00' - Trapped=False - Custom.PTEX.Fullbanner=This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) kpathsea version 6.4.0 ## Contents ### Page 1 Contracts for C++Document #: P2900R13 Date: 2025-01-13 Project: Programming Language C++ Audience: CWG, LWG Reply-to: Joshua Berne <jbe
saved by
related reading
- p2899r0.pdfopen-std.org
- On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications | Proofs and Intuitionsproofsandintuitions.net
- ISO/IEC JTC1/SC22/WG21 - Papers 2026open-std.org
- Trip report: November 2025 ISO C++ standards meeting (Kona, USA) – Sutter’s Millherbsutter.com
- Competitive Programmer's Handbookcses.fi
- abseil / Performance Hintsabseil.io
- Composer2.pdfcursor.com
- notes.pdfstudent.cs.uwaterloo.ca
- P10.pdfspinroot.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Solidity Patternsfravoll.github.io
- Reading 4: Specificationsweb.mit.edu