Adding tracker

Adding Tracker

Introduction

TODO

Code in Mizar

The first step is to look to the Getting Started with Earth to create the Earth.

TODO