Published November 12, 2024 | Version popl-25
Software Open

Artifact for "Symbolic Automata: 𝜔-Regularity Modulo Theories" at POPL 2025

Authors/Creators

  • 1. Microsoft Research

Description

Artifact which contains the Lean formalization for the paper "Symbolic Automata: 𝜔-Regularity Modulo Theories"

See the `README.md` file for information about the artifact.

Files

ezhuchko/RLTL-derivatives-popl-25.zip

Files (17.6 kB)

Name Size Download all
md5:28104d7a648fc7141625a39d4cd2cca1
17.6 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/ezhuchko/RLTL-derivatives/tree/popl-25 (URL)

Software

Programming language
Lean