GitHub repository: qat-inria/gospel
Primary language: Jupyter Notebook
Created: 2025-02-11T15:54:16Z
Description: Verification gospel