Lean references

Robotics Planner Lean