An interactive theorem prover contains a logical foundation and a checker program known as a kernel that verifies adherence to that foundation

Developer tools

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

285 claims·2 news stories

3 claims