| Entry | Value |
|---|---|
| Proof Checking Engineer | Robert White |
| Time for verification | 9.74(s) |
| Time for translation (if any) | 19.42(s) |
| Software | Holide, Dedukti |
| Specification | 64-bit with Intel @ Core i5-4590 CPU @ 3.30GHz * 4 and 3.8G memory on Ubuntu 15.04 running Ocaml 4.01 (and Camlp5 6.12) |