spark-by-example

github.comtool

Collection of verified functions and data types in SPARK.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Education > Tutorials: “Collection of verified functions and data types in SPARK.”