GitHub repository: AliaumeL/polyregular-model-checking
Primary language: Haskell
Created: 2024-09-03T10:59:43Z
Description: Model checking (star-free) polyregular functions written in a Python-like syntax by translating them to first order logic.