Singly-linked List

This demonstrates the proofs of a singly-linked list implementation, with two classes node and linked_list.

Contents

• linked_list.hpp
• linked_list.cpp
• linked_list_hpp_spec.v
• linked_list_cpp_proof.v