flycheck extension for Lean