Introduce the Quint specification language#23

beu5a wants to merge 1 commit into

asatarin:mainasatarin/testing-distributed-systems:mainfrom

beu5a:quint/introduce-quint-resourcesbeu5a/testing-distributed-systems:quint/introduce-quint-resourcesCopy head branch name to clipboard