Skip to content

Bisimulation: add a note about requirements of bisimulation#785

Draft
fangyi-zhou wants to merge 1 commit intoplfa:devfrom fangyi-zhou:bisimulation-reword

Commits

Commits on Feb 10, 2023