Constructive Cryptography in HOL: the Communication Modeling Aspect by Andreas Lochbihler and S. Reza Sefidgar Mar 17
Bounded Natural Functors with Covariance and Contravariance by Andreas Lochbihler and Joshua Schneider Apr 24
Executable Multivariate Polynomials by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp Aug 10