Learning-Assisted Reasoning within Interactive Theorem Provers Thibault Gauthier May 17, 2019 1
Learning-Assisted Reasoning within Interactive Theorem Provers Thibault Gauthier May 17, 2019 1 / 44 conjecture black box proof 2 / 44 library conjecture black box proof 2 / 44 white, spherical, many petals red, star-shaped, five