| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | ABELLA | 2022-02-22 06:15 | |
| AUTOMATED THEOREM PROVING | 2022-02-22 06:15 | |
| COMPUTATIONAL LOGIC | 2022-02-22 06:15 | |
| COQ | 2022-02-22 06:15 | |
| LAMBDA PROLOG | 2022-02-22 06:15 | |
| LEAN | 2022-02-22 06:15 | |
| PTTP | 2022-02-22 06:15 | |
| VAMPIRE | 2022-02-22 06:15 | |
 | notes.pdf | 2022-02-22 06:15 | 403 KB |
| Theorem Provers in Circuit Design_ Theory, Practice and Experience Second International - (Lecture Notes in Computer Science 901) Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.).djvu | 2022-02-22 06:15 | 3187 KB |