GitHub repository: DigitalDefenseCompany/formal-spec-generator
Primary language: TypeScript
Created: 2024-06-09T10:36:16Z
Description: A GitHub Action that transforms informal human-readable formal specifications into formal, machine-readable specifications for rigorous verification.