Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
8coq_full_validation..> | 2024-03-01 09:11 | 1.7M | ||
8coq_multipercentile..> | 2024-03-01 09:10 | 158K | ||
8coq_multipercentile..> | 2024-03-01 09:11 | 922 | ||
8coq_validation.cif.gz | 2024-03-01 09:10 | 24K | ||
8coq_validation.pdf.gz | 2024-03-01 09:11 | 1.7M | ||
8coq_validation.xml.gz | 2024-03-01 09:10 | 18K | ||
8coq_validation_2fo-..> | 2024-03-01 09:10 | 351K | ||
8coq_validation_fo-f..> | 2024-03-01 09:10 | 342K | ||