Discovering conditional properties of recursive functions in a proof assistant. - Haruhiko Sato; Natsuo Ishii (SCIS/ISIS, 2020)