1. Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light

   • Yong Guan
   • Jingzhi Zhang
   • Yongdong Li

   OriginalPaper 06 March 2020 Pages: 1 - 29

   

2. Formalization of the Poincaré Disc Model of Hyperbolic Geometry

   • Danijela Simić
   • Filip Marić
   • Pierre Boutry

   OriginalPaper 30 April 2020 Pages: 31 - 73

   

3. HO\(\pi \) in Coq

   • Guillaume Ambal
   • Sergueï Lenglet
   • Alan Schmitt

   OriginalPaper 14 September 2020 Pages: 75 - 124

   

4. Building Strategies into QBF Proofs

   • Olaf Beyersdorff
   • Joshua Blinkhorn
   • Meena Mahajan

   OriginalPaper Open access 22 May 2020 Pages: 125 - 154