Skip to content
LogRel CI

Move proofs of reducibility to theories/LogicalRelation/Introductions. #556

Sign in to view logs

Move proofs of reducibility to theories/LogicalRelation/Introductions.

Move proofs of reducibility to theories/LogicalRelation/Introductions. #556

Run time

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