GitHub repository: wilcoxjay/PrettyParsing
Primary language: Coq
Created: 2016-08-12T22:34:13Z
Description: verified, human-readable, text-based serializers in Coq