audit.json

back to table · edit · history · where entries came from · files · download

128 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.

{
  "tid": "T509",
  "title": "Values of the Kelvin function $\\operatorname{kei}_\\nu(x)$",
  "findings": [],
  "clean": true
}