Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2coq_full_validation..> | 2023-10-20 11:59 | 427K | ||
2coq_multipercentile..> | 2023-10-20 11:59 | 168K | ||
2coq_multipercentile..> | 2023-10-20 11:59 | 1.0K | ||
2coq_validation.cif.gz | 2023-10-20 11:59 | 11K | ||
2coq_validation.pdf.gz | 2023-10-20 11:59 | 425K | ||
2coq_validation.xml.gz | 2023-10-20 11:59 | 8.4K | ||
2coq_validation_2fo-..> | 2023-10-20 11:59 | 61K | ||
2coq_validation_fo-f..> | 2023-10-20 11:59 | 60K | ||