adalib

github.comtool

Standard Ada library specification as defined in Reference Manual.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Education > Reference: “Standard Ada library specification as defined in Reference Manual.”