Proof Portal
Projects
jsonparser
ProbeLabs23 findings · 123 requirementsThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).
Obligation catalogue
A required class of evidence the requirement must witness — the bridge between the requirement existing and it being proven.
0 classes
No obligation classes in this run's catalogue
Once a run records its obligation catalog, every class it defines will be browsable here.