Towards a verified librray for special functions