Is it possible to create a verified JSON parser?

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Open mkravchik opened 5 months ago

mkravchik commented 5 months ago

Is it possible to create a verified JSON parser with Everest? If not, what the gaps are?