Name | Last modified | Size | Description | |
---|---|---|---|---|

Parent Directory | - | |||

Azurat - A Survey on Embedding Programming Logics in a Theorem Prover.pdf | 27-Aug-2008 17:31 | 246K | ||

Castello_-_Theorem_Provers_Survey.pdf | 14-Sep-2008 20:34 | 189K | ||

Kadoda - Desirable features of educational theorem provers.pdf | 27-Aug-2008 17:30 | 38K | ||

R Mili - Theorem Provers Survey.pdf | 27-Aug-2008 17:27 | 189K | ||