Geeks
the-sofi-uwu
/
JSON
🍫 | JSON parser for Lean4
Primary Language
Lean
JSON GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
barbozafernando
Brazil
fabinzne
CI&T
yuri-potatoq
Grupo SBF