[Diff since v0.0.6](v0.0.6...v0.0.7)

**Closed issues:**
- Minimal documentation page (#15)

## Deductive v0.0.6

[Diff since v0.0.5](v0.0.5...v0.0.6)


**Closed issues:**
- Latexify expressions for pretty displaying in non-terminal settings (#14)
- Recursive subset matching algorithm (#20)
- Higher-order set constraint elimination algorithm (#21)

**Merged pull requests:**
- Definitional set theory (#4) (@ctrekker)

## Deductive v0.0.5

[Diff since v0.0.4](v0.0.4...v0.0.5)


**Closed issues:**
- Fast mutable expressions (#7)
- Remove parent expression from argument expression when it gets overwritten (#10)
- Write description docstrings for all exported methods (#11)

**Merged pull requests:**
- Fast mutable expressions (#8) (@ctrekker)
- Parent removal upon argument reassignment (#12) (@ctrekker)
- Docstrings for exported things (#13) (@ctrekker)

## Deductive v0.0.4

[Diff since v0.0.3](v0.0.3...v0.0.4)

Revert "More informative TagBot release changelogs"

This reverts commit 430e711.

## Deductive v0.0.2

[Diff since v0.0.1](v0.0.1...v0.0.2)

## Deductive v0.0.1