Closed awalterschulze closed 3 years ago
Review, but DO NOT MERGE This relies on the #149 merging first, so I will make sure it merges in the right order.
Added a setoid for Bisimilar and split it up into separate files.
Review, but DO NOT MERGE This relies on the #149 merging first, so I will make sure it merges in the right order.
Added a setoid for Bisimilar and split it up into separate files.