GitLab

some list lemmas

See merge request !82

some lemmas for seq and imap

See merge request !77

Some list related lemmas

See merge request !78

add invserses of bool_decide_{true,false}

See merge request !81

SeqZ Function

See merge request !72

Define `Involutive` in terms of `Cancel`.

See merge request !79

Perform `fast_done` first in `naive_solver`.

See merge request !80

Added two proper instances with permutations

See merge request !76

This avoids `naive_solver` tearing whole goals apart, even if the goal
appears exactly as a hypothesis.

This closes issue #36.

show a Proper instance for dom

See merge request !74

make solve_ndisj more powerful

Closes #34

See merge request !75