Basics

This demo provides specifications and verifications of basic functions on C++ primitive types.

Contents

• main.cpp
• main_cpp_proof.v