[Hol-info] Complex numbers in HOL4?

[Stephen B. <ste...@ve...>]

Will people please refer me to the most complete theory of the complex
numbers that's available for me to use with HOL4? I need complex
exponentials and logarithms.

 

Steve Brackin