Proof Portal

Sign in
Projects

jsonparser

ProbeLabs23 findings · 123 requirements

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

Documents & Reports

Downloadable specs and audit reports generated for this run.

No documents yet

This run did not produce any reports or documents. They will appear here once generated.