GitHub repository: CAPHTECH/TemporalKit
Primary language: Swift
Created: 2025-05-12T23:36:51Z
Description: A Swift framework for expressing, evaluating, and model-checking temporal logic formulas, with a focus on Linear Temporal Logic (LTL).