proofs.hpp
Go to the documentation of this file.
1 
11 #ifndef _PROOFS_H_
12 #define _PROOFS_H_
13 
14 #include "verification.hpp"
18 
19 
30 namespace proofs
31 {
32 }
33 
34 #endif