A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles by Albert Rizaldi and Fabian Immler Jun 01
Perron-Frobenius Theorem for Spectral Radius Analysis by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada May 20
Algebraic Numbers in Isabelle/HOL by René Thiemann, Akihisa Yamada and Sebastiaan J. C. Joosten Dec 22