GitHub repository: Componolit/SXML
Primary language: Ada
Created: 2018-05-27T10:55:08Z
Description: Formally verified, bounded-stack XML library