Skip to content

Use "instance" instead "theorem" for LTS.Total

c1c717f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: prove that regular languages are closed under concatenation #239

Use "instance" instead "theorem" for LTS.Total
c1c717f
Select commit
Loading
Failed to load commit list.