Add composition support to `prove_bisim`#1972

Merged

bboston7 merged 8 commits intomasterfrom bb/bisim-comp

Nov 8, 2023

+902-177

Commits on Nov 7, 2023

Add composition support to prove_bisim
Brett Boston
committed
Apply suggestions from code review

bboston7
and
RyanGlScott
authored
Use BisimTheorem in BisimComponents
Brett Boston
committed
Print "success" message on successful proof
Brett Boston
committed
Better explain COMPOSITION SIDE CONDITION + fix some formatting
Brett Boston
committed
More clarity around outer and inner terms in composition docs
Brett Boston
committed
Regenerate manual.pdf
Brett Boston
committed
Merge remote-tracking branch 'origin/master' into bb/bisim-comp
Brett Boston
committed