Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms by Alexander Bentkamp Oct 19
Executable Multivariate Polynomials by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp Aug 10