Skip to content

Commit 2c7a3cd

Browse files
jefraijefrai
committed
Add lemma that interpreting a RatExp on Trace languages = interpreting on String languages and projecting to Traces
1 parent 4f788ca commit 2c7a3cd

1 file changed

Lines changed: 416 additions & 1 deletion

File tree

0 commit comments

Comments
 (0)