Live CEOing Ep 09: Representing Proofs in the Wolfram Language
Stephen Wolfram
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Representing Proofs in the Wolfram Language.
Thanks for your feedback.