audit.json

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

130 bytes, as of the version from 2026-10-28 20:22 (current). Recorded here, not run.

{
  "tid": "T589",
  "title": "Positive zeros of the Kelvin function $\\operatorname{ber}_0$",
  "findings": [],
  "clean": true
}