| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | - | ||
| 4coq_full_validation.pdf.gz | 2026-03-06 05:29 | 1.0M | |
| 4coq_multipercentile_validation.png.gz | 2026-03-06 05:29 | 168K | |
| 4coq_multipercentile_validation.svg.gz | 2026-03-06 05:29 | 963 | |
| 4coq_validation.cif.gz | 2026-03-06 05:29 | 48K | |
| 4coq_validation.pdf.gz | 2026-03-06 05:29 | 1.0M | |
| 4coq_validation.xml.gz | 2026-03-06 05:29 | 34K | |
| 4coq_validation_2fo-fc_map_coef.cif.gz | 2026-03-06 05:29 | 1.3M | |
| 4coq_validation_fo-fc_map_coef.cif.gz | 2026-03-06 05:29 | 1.3M | |
