Charles Hoskinson
PersonMentioned in 1 video
Founder of Cardano, mentioned for his interest in automated theorem proving and collaboration with Wolfram on blockchain technologies.
Founder of Cardano, mentioned for his interest in automated theorem proving and collaboration with Wolfram on blockchain technologies.