edoput/lcf-prover not found