Skip to content
LogRel CI

First properties of reducibility (induction, escape, reflexivity) #346

Sign in to view logs

First properties of reducibility (induction, escape, reflexivity)

First properties of reducibility (induction, escape, reflexivity) #346

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 40s
3m 40s