Towards evolutionary theorem proving for isabelle/HOL.

Yutaka Nagashima

Browse the full GECCO paper archive.