Proof of correctness of data representations — latest news, discussion & facts — IJR