KeY Logic Documentation
Defined symbols in the KeY System
Generated from version: heads/main on Fri Mar 06 10:31:18 UTC 2026
Startpage
Usage Index
KeY Docs
Overview
regExTheory.key
Requires: \includeregExHeader;
requires regExHeader
Requires: \includeregExAxioms;
requires regExAxioms
Requires: \includeregExLemmaProven;
requires regExLemmaProven