Skip to content
This repository was archived by the owner on Oct 16, 2025. It is now read-only.

Releases: kris701/BisimulationRelationObtainer

1.0: First Relations

08 Apr 08:58
@kris701 kris701
1.0
70d9929

Choose a tag to compare

View all tags
1.0: First Relations Latest
Latest

Initial version of the application

Assets 3
Loading