Proof Portal
Projects
jsonparser
ProbeLabs23 findings · 123 requirementsThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).
Activity
Recent collaboration on this project — comments, claims, and events.
No activity yet
Comments, claims, and collaboration events for this project will appear here.