| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | Abella_ A System for Reasoning about Relational Specifications.pdf | 2022-02-22 06:15 | 725 KB |
| The Abella Interactive Theorem Prover (System Description) - Andrew Gacek.pdf | 2022-02-22 06:15 | 117 KB |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | ||
| Abella_ A System for Reasoning about Relational Specifications.pdf | 2022-02-22 06:15 | 725 KB |
| The Abella Interactive Theorem Prover (System Description) - Andrew Gacek.pdf | 2022-02-22 06:15 | 117 KB |