cslib

chore: bump toolchain to v4.29.0 (#463)

feat: Heterogeneous behavioural equivalences (#460)

chore: split LTS/Basic.lean into more manageable pieces (#453)

feat: prove confluence for βη-reduction (#456)

feat: prove that omega-regular languages are closed under complementation (#329)