ctchouAutomataTheory

Automata theory in Lean
Displaying 1-1 of 1 versions of AutomataTheory
Sort by
  1. Not a part of any version track.
    eb4d4da
    2 days ago
    Released on September 6, 2025 at 12:19:56AM
    Commit eb4d4da builds on its recent leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    5.2 MB Build archive size: 5226172 bytes.