Repository navigation

Test

Add implication arrows after verification predicates #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
VS Code integration (stable)	1m 16s
VS Code integration (minimum)	1m 25s
Checks	1m 19s
	4m 0s