LaTTe central

The LaTTe proof assistant and mathematical libraries