Fri Jun 30 09:26:41+0200 2017
1b47fe9
add todos
README.md
| 68 | 68 | ---------------------- | |
| 69 | 69 | ||
| 70 | 70 | The more the better. They are being integrated. | |
| 71 | + | ||
| 72 | + | TODO | |
| 73 | + | ==== | |
| 74 | + | ||
| 75 | + | Eiffel studio -> eiffel -> AutoProof and Eve -> boogie -> z3. | |
| 76 | + | ||
| 77 | + | alt-ergo, CVC4 |