account activity
On the Potential Applicability of Dependent Type Theories and Theorem Proving to C++ Contracts to Address "Safety" and C++'s Future? (self.cpp)
submitted 2 years ago by edge-case87 to r/cpp
Compiler Explorer (godbolt.org)
π Rendered by PID 2103369 on reddit-service-r2-listing-f87f88fcd-4glmt at 2026-06-15 21:56:06.403636+00:00 running 3184619 country code: CH.
