Asymmetry of verification and verifier’s law (via kaycebasques) — discussion

#ai #formalmethods