$LEAN - Lean Prover