Skip to content

Define the category of LTSs#391

Open
ayberkt wants to merge 7 commits intoleanprover:mainfrom
ayberkt:main
Open

Define the category of LTSs#391
ayberkt wants to merge 7 commits intoleanprover:mainfrom
ayberkt:main

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Define the category of LTSs

1 participant