Universal Turing Machine by Jian Xu, Xingyuan Zhang, Christian Urban ๐, Sebastiaan J. C. Joosten ๐ and Franz Regensburger ๐ Feb 08
A verified factorization algorithm for integer polynomials with polynomial complexity by Jose Divasรณn ๐, Sebastiaan J. C. Joosten ๐, Renรฉ Thiemann ๐ and Akihisa Yamada ๐ง Feb 06
A verified LLL algorithm by Ralph Bottesch, Jose Divasรณn ๐, Max W. Haslbeck ๐, Sebastiaan J. C. Joosten ๐, Renรฉ Thiemann ๐ and Akihisa Yamada Feb 02
The Factorization Algorithm of Berlekamp and Zassenhaus by Jose Divasรณn ๐, Sebastiaan J. C. Joosten ๐ง, Renรฉ Thiemann ๐ง and Akihisa Yamada ๐ง Oct 14
Algebraic Numbers in Isabelle/HOL by Renรฉ Thiemann ๐ง, Akihisa Yamada ๐ง and Sebastiaan J. C. Joosten ๐ง Dec 22