Repository navigation

feat(NaturalDeduction): move hypotheses between the axiom set and context - #1218

Merged

ctchou merged 5 commits into

mainfrom

thomaskwaring/ax-to-ass

Nov 13, 2026

Merged

feat(NaturalDeduction): move hypotheses between the axiom set and context#1218
ctchou merged 5 commits into
mainfrom
thomaskwaring/ax-to-ass

Commits on Nov 13, 2026
- axioms and assumptions
  twwar
  committed
  9b72754
- naming
  twwar
  committed
  61d5098
- loose mentions of "theory"
  twwar
  committed
  b33d081
- use `weaken`
  twwar
  committed
  c86fd2e
- remove root namespace
  twwar
  committed
  d1f946d