This fully functional mini-sumobot is an advanced-level project programmed in Ada/SPARK and Arduino (C++).