E. Makarov

The Picard Algorithm for Ordinary Differential Equations in Coq

Bas Spitters, Evgeny Makarov, Bas Spitters, 2013, ITP.

A Proof Procedure for Hereditary Harrop Formulas with Free Equality

Evgeny Makarov, E. Makarov, 1997, LFCS.