add main.cpp & proof_graph.cpp