/CircularFunctions

My fourth year honours project with supervisor Dr. Jacques Fleuriot, for which I won the William and Isabella Dick prize for best project. 'A Formalisation of Trigonometric Functions in Isabelle'

Stargazers

No one’s star this repository yet.