Proof Portal

jsonparser

ProbeLabs11 findings · 123 requirements

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

Relationships across the system. Focus view — rooted at one entity; walk its neighborhood.

Show

Lens

parser·1 of 1 nodesDouble-click (or press R) to focus a node · Tab to move between cards · Enter to select

Nothing to show here

“parser” has no connections under the arch lens.

Loading graph…