Skip to content
Propose PR

BOOLEAN: Prove Theorem 5.8 (Sheffer stroke axiom) #966

Sign in to view logs

BOOLEAN: Prove Theorem 5.8 (Sheffer stroke axiom)

BOOLEAN: Prove Theorem 5.8 (Sheffer stroke axiom) #966

Run time

Learn about OS pricing on GitHub Actions
Job Run time
propose_pr
0s
0s