Author Details

Makarov, Evgeny, Lobachevsky State University of Nizhny Novgorod, Russian Federation

  • Vol 13, No 9 (2025) - Scientific Software in Education and Science
    Introduction to Formal Methods Using Interactive Proof Assistant Rocq
    Abstract  PDF