Leonardo de Moura developed the Z3 automated theorem prover at Microsoft Research to automatically check software pathways for bugs

Developer tools

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.

285 claims·2 news stories

205 claims