Back to pull request #445

Add some lemmas relating the different semantics #1562

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18.0)	1h 53m 25s
coq-check-all	1s
	1h 53m 26s