Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
3coq_full_validation..> | 2024-02-16 09:41 | 507K | ||
3coq_multipercentile..> | 2024-02-16 09:41 | 169K | ||
3coq_multipercentile..> | 2024-02-16 09:41 | 1.0K | ||
3coq_validation.cif.gz | 2024-02-16 09:41 | 21K | ||
3coq_validation.pdf.gz | 2024-02-16 09:41 | 465K | ||
3coq_validation.xml.gz | 2024-02-16 09:41 | 17K | ||
3coq_validation_2fo-..> | 2024-02-16 09:41 | 188K | ||
3coq_validation_fo-f..> | 2024-02-16 09:41 | 178K | ||