files / problems / simon-ionization-excess / compute / q14
| .. | |
| certificate.json | 43 KB |
| check_rejections.py | 2.4 KB |
| CLAIM.md | 2.2 KB |
| PROOF.md | 7.5 KB |
| python-result.json | 596 B |
| README.md | 1.8 KB |
| run_all.sh | 387 B |
| search.py | 2.4 KB |
| verify.py | 5.4 KB |
| verify.rs | 8.6 KB |