Proof Portal
Project overview
jsonparser
ProbeLabs11 findings · 123 requirementsThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).
Documents
Generate specs, traceability, verification, and audit documents on demand from this project's proof layer — no publishing step, always current. Share or export them in place of PDFs.