Fix definition of space - #161

Open

crei wants to merge 19 commits into

mainfrom

Commits on Mar 30, 2026

feat: Heterogeneous behavioural equivalences (#460)
fmontesi
authored
4ab77e0

Commits on Mar 31, 2026

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

Garmelon
and
chenson2018
authored
0d37cc7

Commits on Apr 2, 2026

feat(FinFun): Implement the decidable equality for FinFun (#466)
XYUnknown
authored
3875bc9

Commits on Apr 3, 2026

chore: Update mathlib revision, fixing a conflict (#467)
marcelolynch
authored
d1dbe1e

Commits on Apr 6, 2026

chore: bump toolchain to v4.30.0-rc1 (#469)

authored
7643ee4
feat(Logics/Propositional): definitions (#89)

thomaskwaring
and
twwar
authored
6178564

Commits on Apr 7, 2026

feat: define the category of LTSs (#391)

ayberkt
and
chenson2018
authored
48e29fd

Commits on Apr 13, 2026

Commits on Apr 15, 2026

Commits on Apr 18, 2026

chore: bump toolchain to v4.30.0-rc2 (#496)

Garmelon
and
chenson2018
authored
95fdc7d
Function view for tapes.
crei
committed
f57bb82

Commits on Apr 20, 2026

Use head positions to define space requirement.
crei
committed
e1d2527
Apply suggestions from code review

crei
and
chenson2018
authored
642162c
Simplify some proofs and add annotations.
crei
committed
be6855a
Merge branch 'tapes_as_functions' into fix_space
crei
committed
b9230c7
helper lemmas
crei
committed
e6d0067
simplify proofs
crei
committed
7a81504