Skip to content

This is a respository for learning purposes to implement the JSON_SCHEMA as well as collabrating with Lean in order to develop one for the organisation.

License

Notifications You must be signed in to change notification settings

lgsurith/JSON_SCHEMA_LEAN

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 

Repository files navigation

JSON_SCHEMA_LEAN

This repository is for learning purposes to implement JSON_SCHEMA and collaborating with Lean to develop one for them using Bowtie.

Task for GSoC 2024

This repository contains the qualification task for issue #606 at POSTMAN related to JSON_SCHEMA + POSTMAN

About

This is a respository for learning purposes to implement the JSON_SCHEMA as well as collabrating with Lean in order to develop one for the organisation.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages