Popular repositories Loading

1. extended-regexes extended-regexes Public

   Lean formalization of extended regular expressions with lookarounds

   Lean 8 1

2. RLTL-derivatives RLTL-derivatives Public

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

   Lean 3 1

3. re-sharp-smt re-sharp-smt Public

   Lean formalization files for the paper "Regex Decision Procedures in Extended RE#"

   Lean 2

4. finiteness-derivatives finiteness-derivatives Public

   Lean 1

5. ezhuchko.com ezhuchko.com Public

   CSS