GitHub repository: nittaya1990/coq-json
Description: JSON in Coq