No authors of 1406.0292 can endorse.
Interactive Simplifier Tracing and Debugging in Isabelle
Lars Hupel: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Lars Hupel: | Is registered as an author of this paper. Not currently an endorser. (why?) |