HelloProof-style2.tex 634 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
\begin{tabular}{| l |c |c |c |c |c |}
\hline Proof obligations & \provername{Alt-Ergo (0.94)} & \provername{Coq (8.3pl4)} & \provername{Simplify (1.5.4)} \\ 
\hline 
\explanation{G1} & \noresult& \noresult& \valid{0.00} \\ 
\hline 
\explanation{G2} & \unknown{0.00} & \noresult& \unknown{0.00} \\ 
\cline{2-4} 
\quad\transformation{split\_goal} & \multicolumn{3}{|c|}{}\\ 
\cline{2-4} 
10
\quad\subgoal{1.}{1} & \unknown{0.00} & \unknown{0.43} & \unknown{0.00} \\ 
11
\cline{2-4} 
12
\quad\subgoal{2.}{2} & \valid{0.00} & \noresult& \valid{0.00} \\ 
13
14
15
\hline 
\explanation{G3} & \valid{0.00} & \noresult& \unknown{0.00} \\ 
\hline \end{tabular}