spark-xml

github.comtool

A formally verified XML library in SPARK.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Libraries > Format Readers, Writers and Checkers: “A formally verified XML library in SPARK.”