Build Project on Google Collab (Execution)

[markov_markov_II] Fix `prf:theorem` in `markov_chains_II` #290

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	17m 5s
	17m 5s