Bb5a31f81Topic
Developer tools
SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.
285 claims·2 news stories
Leonardo de Moura designed Lean with a minimal trusted kernel to allow users to build and run independent kernel checkers
Bb5a31f81Topic