| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| 4coq_full_validation.pdf.gz | 2025-09-25 21:19:16 | 1.1 MB |
| 4coq_multipercentile_validation.png.gz | 2025-09-25 21:19:16 | 167.8 KB |
| 4coq_multipercentile_validation.svg.gz | 2025-09-25 21:19:16 | 955 B |
| 4coq_validation.cif.gz | 2025-09-25 21:19:16 | 44.5 KB |
| 4coq_validation.pdf.gz | 2025-09-25 21:19:16 | 1 MB |
| 4coq_validation.xml.gz | 2025-09-25 21:19:16 | 28.9 KB |
| 4coq_validation_2fo-fc_map_coef.cif.gz | 2025-09-25 21:19:16 | 882.3 KB |
| 4coq_validation_fo-fc_map_coef.cif.gz | 2025-09-25 21:19:16 | 839.5 KB |
