Formalising Knot Theory in Isabelle/HOL. - T. V. H. Prathamesh (ITP, 2015)

Tensor Product of Matrices. - T. V. H. Prathamesh (Arch. Formal Proofs, 2016)

Knot Theory. - T. V. H. Prathamesh (Arch. Formal Proofs, 2016)

Unknot Recognition Through Quantifier Elimination. - Syed Mohammad Meesum; T. V. H. Prathamesh (SC-Square@FLOC, 2018)

Elementary equivalence in Artin groups of finite type. - Arpan Kabiraj; T. V. H. Prathamesh; Rishi Vyas (Int. J. Algebra Comput., 2018)

A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. - Bertram Felgenhauer; Aart Middeldorp; T. V. H. Prathamesh; Franziska Rapp (CPP, 2019)

Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem. - Aabid Seeyal Abdul Kharim; T. V. H. Prathamesh; Shweta Rajiv; Rishi Vyas (CICM, 2023)

Formal Proof of Dilworth's Theorem. - Vivek Soorya Maadoori; Syed Mohammad Meesum; Shiv Pillai; T. V. H. Prathamesh; Aditya Swami (Arch. Formal Proofs, 2025)