GitHub repository: DigitalDefenseCompany/human-readable-spec-generator
Primary language: TypeScript
Created: 2024-06-08T19:59:39Z
Description: A GitHub Action to automatically generate human-readable formal specifications from code repositories.