feat(LTS): labeled transition systems as coalgebras#603

tannerduve wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

tannerduve:feat-lts-coalgebratannerduve/cslib:feat-lts-coalgebraCopy head branch name to clipboard