Point

This demonstrates the proof of the simple class Point.

Contents

• Point.hpp
• Point_hpp_spec.v
• Point_hpp_proof.v