Back to pull request #21

Proof simplifications & additional lemmas #209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-cargo	2m 23s
build-lake	3m 36s
test-cargo	1m 38s
	7m 37s