Platform to submit RFCs for the Ada & SPARK languages
Repository from Github https://github.comWRidder/ada-spark-rfcsRepository from Github https://github.comWRidder/ada-spark-rfcs