Skip to content
Verify proofs

Define loops like Hurd and prove some of their properties #324

Sign in to view logs

Define loops like Hurd and prove some of their properties

Define loops like Hurd and prove some of their properties #324

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify
1m 24s
1m 24s