| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| 4coq_full_validation.pdf.gz | 2026-04-26 13:41:43 | 1 MB |
| 4coq_multipercentile_validation.png.gz | 2026-04-26 13:41:43 | 167.6 KB |
| 4coq_multipercentile_validation.svg.gz | 2026-04-26 13:41:43 | 963 B |
| 4coq_validation.cif.gz | 2026-04-26 13:41:43 | 48.5 KB |
| 4coq_validation.pdf.gz | 2026-04-26 13:41:43 | 1,022.3 KB |
| 4coq_validation.xml.gz | 2026-04-26 13:41:43 | 33.7 KB |
| 4coq_validation_2fo-fc_map_coef.cif.gz | 2026-04-26 13:41:43 | 1.3 MB |
| 4coq_validation_fo-fc_map_coef.cif.gz | 2026-04-26 13:41:43 | 1.3 MB |
