Skip to content
Agda

Add ψ/+ open-case inversion lemmas for Buchholz order #89

Sign in to view logs

Add ψ/+ open-case inversion lemmas for Buchholz order

Add ψ/+ open-case inversion lemmas for Buchholz order #89

Run time

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