GitHub repository: AdaCore/program_proofs_in_spark
Primary language: Ada
Created: 2023-03-14T09:51:48Z
Description: This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.