Back to pull request #1384

Hilbert axioms and geometry theorems #554

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	57m 58s
build-stdknl	57m 5s
build-mosml	41m 14s
build-otknl	3h 21m 16s
	5h 57m 33s