Type Theory And Formal Proof Calculator Trigonometry