An evolutionary/heuristic-based proof searching framework for interactive theorem prover

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun