Back to pull request #832

lib/monads: use `experiment` for demo lemmas #3074

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	2h 41m 49s
All (ARM)	3h 13m 44s
All (ARM_HYP)	2h 49m 39s
All (RISCV64)	2h 57m 21s
All (X64)	2h 43m 48s
	14h 26m 21s