Skip to content

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

Open
tannerduve wants to merge 1 commit into
leanprover:mainfrom
tannerduve:feat-lts-coalgebra
Open

feat(LTS): labeled transition systems as coalgebras#603
tannerduve wants to merge 1 commit into
leanprover:mainfrom
tannerduve:feat-lts-coalgebra

feat(LTS/LTSCat): labelled transition systems as coalgebras

b59d893
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded May 28, 2026 in 3s