Suggesting approaches for formal proof.
Mengajukan pendekatan-pendekatan pada bukti formal.