Skip to content
Lean (build)

Add rules R10-R12, add value and normal form, transition from value t… #86

Sign in to view logs

Add rules R10-R12, add value and normal form, transition from value t…

Add rules R10-R12, add value and normal form, transition from value t… #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 58s
1m 58s