Skip to content
.github/workflows/main.yml

theory_hol.lp: rename T into ⊤ and F into ⊥ #971

Sign in to view logs

theory_hol.lp: rename T into ⊤ and F into ⊥

theory_hol.lp: rename T into ⊤ and F into ⊥ #971

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hol-light-to-dedukti (5.2.1, 3.17.0, 8.03.01, 3.0.0, master, master, 2.7)
16m 14s
16m 14s