Gilith OpenTheory Repo

packages   •   recent   •   upload

Package bool-choice-1.0

Information

For more details see the package document.

Includes

• bool-choice-cases-1.0 — bool-choice-cases
• bool-choice-cond-1.0 — Theorems about the conditional relying on the axiom of choice
• bool-choice-exists-1.0 — bool-choice-exists
• bool-choice-induct-1.0 — bool-choice-induct
• bool-choice-quant-1.0 — bool-choice-quant
• bool-choice-select-1.0 — bool-choice-select
• bool-choice-skolem-1.0 — bool-choice-skolem

Included By

• bool-1.0 — Basic boolean theory