Explain reducible and irreducible functions, and construction and deconstruction rules
jdreier opened this issue · 0 comments
jdreier commented
Also document associated errors, and Tamarin's requirements for user-defined equational theories (convergence).
See discussion here: tamarin-prover/tamarin-prover#181