本サイトについて

公式:

Ada/SPARK を通じて,より信頼性の高いアプリケーションを作ること

非公式:

Ada/SPARK を用いた,楽しい経験をすること